default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th NCL 2022: Łódź, Poland
- Andrzej Indrzejczak, Michal Zawidzki:
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. EPTCS 358, 2022 - Guido Gherardi, Eugenio Orlandelli:
Non-Normal Super-Strict Implications. 1-11 - Yaroslav I. Petrukhin
:
Normalisation for Some Infectious Logics and Their Relatives. 12-24 - Masanobu Toyooka, Katsuhiko Sano:
Combining First-Order Classical and Intuitionistic Logic. 25-40 - Vít Puncochár, Berta Grimau:
Natural Deduction for Assertibility and Deniability. 41-54 - Pedro Filipe, Carlos Caleiro, Sérgio Marcelino:
Monadicity of Non-deterministic Logical Matrices is Undecidable. 55-67 - Jirí Raclavský:
Puzzles of Existential Generalisation from Type-theoretic Perspective. 68-83 - Guillaume Aucher:
A van Benthem Theorem for Atomic and Molecular Logics. 84-101 - Niccolò Veltri:
Normalization by Evaluation for the Lambek Calculus. 102-117 - Tarmo Uustalu, Niccolò Veltri, Cheng-Syuan Wan:
Proof Theory of Skew Non-Commutative MILL. 118-135 - Agata Tomczyk, Dorota Leszczynska-Jasion:
Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus. 136-149 - Sankha S. Basu, Sayantan Roy:
Negation-Free Definitions of Paraconsistency. 150-159 - Andreas Kapsner, Hitoshi Omori:
Superconnexivity Reconsidered. 160-173 - Satoru Niki, Hitoshi Omori:
Another Combination of Classical and Intuitionistic Conditionals. 174-188 - Luis Estrada-González, Fernando Cano-Jorge:
Mortensen Logics. 189-201 - Nils Kürbis:
Bilateral Inversion Principles. 202-215 - Oleg Grigoriev, Dmitry Zaitsev:
Cyclic Negations and Four-valuedness. 216-226 - Fabien Schang, George Englebretsen, José Martín Castro-Manzano:
The Forms of Categorical Proposition. 227-239 - Clodomir Silva Lima Neto, Thiago Nascimento da Silva, Umberto Rivieccio:
Algebraizability of the Logic of Quasi-N4-Lattices. 240-253 - Alexander Bolotov:
On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. 254-269 - Ana Cruz, Alexandre Madeira, Luís Soares Barbosa:
A Logic for Paraconsistent Transition Systems. 270-284 - Vít Puncochár, Igor Sedlár:
Routley Star in Information-Based Semantics. 285-297 - Luis Estrada-González:
Dunn Semantics for Contra-Classical Logics. 298-309
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-26 01:02 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:
