default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 112
Volume 112, Number 1-2, April 2024
- Heinrich Wansing
, Hitoshi Omori:
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology. 1-35 - Davide Fazio, Sergei P. Odintsov:
An Algebraic Investigation of the Connexive Logic sfC. 37-67 - Alex Belikov:
A Simple Way to Overcome Hyperconnexivity. 69-94 - Davide Fazio, Antonio Ledda, Francesco Paoli:
Intuitionistic Logic is a Connexive Logic. 95-139 - Hitoshi Omori, Andreas Kapsner:
Angell and McCall Meet Wansing. 141-165 - Niki Pfeifer, Giuseppe Sanfilippo:
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals. 167-206 - Mateusz Klonowski, Luis Estrada-González:
Boolean Connexive Logic and Content Relationship. 207-248 - Guido Gherardi, Eugenio Orlandelli, Eric Raidl:
Proof Systems for Super- Strict Implication. 249-294 - Alessandro Giordani:
Situation-Based Connexive Logic. 295-323 - Andrea Iacona:
Connexivity in the Logic of Reasons. 325-342 - Eric Raidl, Andrea Iacona, Vincenzo Crupi:
An Axiomatic System for Concessive Conditionals. 343-363 - Xuefeng Wen:
Stalnakerian Connexive Logics. 365-403 - Hans Rott:
Difference-Making Conditionals and Connexivity. 405-458 - Thomas Macaulay Ferguson:
Executability and Connexivity in an Interpretation of Griss. 459-509 - Luis Estrada-González, Ricardo Arturo Nicolás-Francisco:
Connexive Negation. 511-539
Volume 112, Number 3, June 2024
- Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki:
$\varvec{Brings~It~About~That}$ Operators Decomposed with Relating Semantics. 541-559 - Marcelo E. Coniglio, Abilio Rodrigues:
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth. 561-606 - Nikolaos Galatos:
Decidability of Lattice Equations. 607-610 - Sergio A. Celani, Umberto Rivieccio:
Intuitionistic Modal Algebras. 611-660 - Ryo Murai, Katsuhiko Sano:
Intuitionistic Public Announcement Logic with Distributed Knowledge. 661-691 - Yuya Okawa:
Unary Interpretability Logics for Sublogics of the Interpretability Logic bfIL. 693-721 - Miguel Campercholi, Diego Vaggione:
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences. 723-733
Volume 112, Number 4, August 2024
- Athanassios Tzouvaras:
Sets with Dependent Elements: A Formalization of Castoriadis' Notion of Magma. 735-760 - Hector Freytes, Giuseppe Sergioli:
Heyting κ-Frames. 761-804 - Eunsuk Yang:
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics. 805-833 - Anvar M. Nurakunov, Marina Schwidefsky:
Profinite Locally Finite Quasivarieties. 835-859 - Juan Manuel Cornejo, Hernán Javier San Martín, Valeria A. Sígal:
On a Class of Subreducts of the Variety of Integral srl-Monoids and Related Logics. 861-891 - Yang Song, Hitoshi Omori, Jonas R. Becker Arenhart, Satoshi Tojo:
A Generalization of Beall's Off-Topic Interpretation. 893-932 - Fengkui Ju:
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time. 933-966
Volume 112, Number 5, October 2024
- Asadollah Fallahi, James Gordon Raftery:
On Pretabular Extensions of Relevance Logic. 967-985 - Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic:
The Logic ILP for Intuitionistic Reasoning About Probability. 987-1017 - Bruno Jacinto, Javier Belastegui:
Quineanism, Noneism and Metaphysical Equivalence. 1019-1090 - Masanobu Toyooka, Katsuhiko Sano:
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation. 1091-1121 - Umberto Rivieccio, Manuela Busaniche:
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity. 1123-1161 - Katsumi Sasaki, Yoshihito Tanaka:
An ømega-Rule for the Logic of Provability and Its Models. 1163-1180 - Funmilola Balogun, Benedikt Löwe:
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs. 1181-1200
Volume 112, Number 6, December 2024
- Francesco Paoli, Gavin St. John:
Editorial Introduction. 1201-1214 - Vitor Greati, Sérgio Marcelino, Umberto Rivieccio:
Finite Hilbert Systems for Weak Kleene Logics. 1215-1241 - Bruno Da Ré, Damián Enrique Szmuc, María Inés Corbalán:
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic. 1243-1259 - Jonas R. Becker Arenhart, Hitoshi Omori:
On Woodruff's Constructive Nonsense Logic. 1261-1280 - Ivan Chajda, Helmut Länger, Jan Paseka:
Representability of Kleene Posets and Kleene Lattices. 1281-1317 - Claudia Muresan:
Distributive PBZ*-lattices. 1319-1341 - Thomas Randriamahazaka:
De Morgan-Płonka Sums. 1343-1371 - Selcuk Kaan Tabakci:
Categoricity Problem for LP and K3. 1373-1407 - Víctor Aranda, Manuel Martins, María Manzano:
Propositional Type Theory of Indeterminacy. 1409-1438 - Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi, Wei Zhu:
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics. 1439-1463
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
