![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
10th 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.