NCL'22: NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS 2022

A
Aucher, Guillaume	A van Benthem Theorem for Atomic and Molecular Logics
B
Basu, Sankha S.	Negation-free definitions of paraconsistency
Blackburn, Patrick	Temporal Reference and Temporal Indexicals
Bolotov, Alexander	On the Expressive Power of the Normal Form for Branching-Time Temporal logics
Błaszczyk, Piotr	On Interpretation of Mathematical Text: Stetigkeit und irrationale Zahlen as a Case Study
C
Caleiro, Carlos	Monadicity of Non-deterministic Logical Matrices is Undecidable (Best Paper Award for Junior Researcher)
Cano-Jorge, Fernando	Mortensen logics
Chlebowski, Szymon	Intuitionistic non-Fregean logic ISCI
Cruz, Ana	A logic for paraconsistent transition systems, with applications to quantum computing
Czech, Dawid	Intuitionistic non-Fregean logic ISCI
Czelakowski, Janusz	On the Collatz Conjecture
D
Demri, Stéphane	Logics with Concrete Domains: An Introduction
Dujmović, Jozo	Graded Logic, Part I: Humancentric approach to logic Graded Logic, Part II: Graded Conjunction/Disjunction Graded Logic, Part III: Graded propositional calculus
E
Englebretsen, George	The Forms of Categorical Proposition
Estrada-Gonzalez, Luis	An Analysis of Poly-connexivity in Boolean Connexive Logic
Estrada-González, Luis	Dunn semantics for contra-classical logics Mortensen logics
F
Filipe, Pedro	Monadicity of Non-deterministic Logical Matrices is Undecidable (Best Paper Award for Junior Researcher)
G
Gawek, Marta	Structural proof theory of SCI and WB
Gherardi, Guido	Non-normal super-strict implications
Giordani, Alessandro	From the Logic of Grounding to Relating Logic
Glavaničová, Daniela	Applications of Relating Semantics in the Normative Domain Tableaux for Some Deontic Logics with the Explicit Permission Operator
Goré, Rajeev	CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-learning and SAT
Grigoriev, Oleg	Cyclic Negations and Four-valuedness On Embedding of D2 into the Minimal Discussive Logic
Grimau, Berta	Natural Deduction for Assertibility and Deniability
Grygiel, Joanna	Some Aspects of Lattice Tolerances
J
Jarmużek, Tomasz	Tableaux for Some Deontic Logics with the Explicit Permission Operator
K
Kaczmarek, Janusz	What is a Topological Ontology?
Kapsner, Andreas	Superconnexivity Reconsidered
Klonowski, Mateusz	An Analysis of Poly-connexivity in Boolean Connexive Logic Tableaux for Some Deontic Logics with the Explicit Permission Operator
Kulicki, Piotr	Tableaux for Some Deontic Logics with the Explicit Permission Operator
Kürbis, Nils	Bilateral Inversion Principles
L
Leszczyńska-Jasion, Dorota	Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus Philosophical foundations of non-Fregean logics, basic properties of SCI
Lima Neto, Clodomir Silva	Algebraizability of the Logic of Quasi-N4-Lattices
M
Madeira, Alexandre	A logic for paraconsistent transition systems, with applications to quantum computing
Malinowski, Jacek	Connexive Logics via Relating Semantics
Manzano, Maria	Many-Sorted Logic
Marcelino, Sérgio	Monadicity of Non-deterministic Logical Matrices is Undecidable (Best Paper Award for Junior Researcher)
Martinez-Ordaz, Maria	Scientific Understanding Meets Relating Logic
Martín Castro-Manzano, José	The Forms of Categorical Proposition
Meixner, Uwe	A Paradox for the Existence Predicate
Mruczek-Nasieniewska, Krystyna	On Embedding of D2 into the Minimal Discussive Logic
Mundici, Daniele	Łukasiewicz Logic and Approximately Finite-Dimensional C*-Algebras
N
Nasieniewski, Marek	On Embedding of D2 into the Minimal Discussive Logic
Niki, Satoru	Another combination of classical and intuitionistic conditionals (Best Paper Award for Junior Researcher)
O
Omori, Hitoshi	Another combination of classical and intuitionistic conditionals (Best Paper Award for Junior Researcher) Superconnexivity Reconsidered
Orlandelli, Eugenio	Non-normal super-strict implications
P
Pasucci, Matteo	Applications of Relating Semantics in the Normative Domain
Petrukhin, Yaroslav	Normalisation for some infectious logics and their relatives On Embedding of D2 into the Minimal Discussive Logic
Punčochář, Vít	Routley Star in Information-Based Semantics (Best Paper Award) Natural Deduction for Assertibility and Deniability
R
Raclavský, Jiří	Solutions to Puzzles of Existential Generalisation
Rivieccio, Umberto	Algebraizability of the Logic of Quasi-N4-Lattices
Roy, Sayantan	Negation-free definitions of paraconsistency
S
Sankappanavar, Hanamantagouda P.	Gautama and Almost Gautama Algebras and Their Associated Logics
Sano, Katsuhiko	Combining First-Order Classical and Intuitionistic Logic
Schang, Fabien	The Forms of Categorical Proposition
Schmidt, Renate A.	Forgetting and Consequence-Based Knowledge Extraction for Description Logic Ontologies
Schroeder-Heister, Peter	Contraction-free Logics and the Idea of an Intensional Proof-theoretic Semantics
Sedlár, Igor	Routley Star in Information-Based Semantics (Best Paper Award)
Shangin, Vasilyi	On Embedding of D2 into the Minimal Discussive Logic
Shramko, Yaroslav	Structural Reasoning and Four-valued Logic: A Case Study
Silva, Thiago Nascimento	Algebraizability of the Logic of Quasi-N4-Lattices
Skowron, Bartłomiej	Perzanowski's Combination of Onto-logic and Topology
Soares Barbosa, Luís	A logic for paraconsistent transition systems, with applications to quantum computing
T
Tomczyk, Agata	Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus Philosophical foundations of non-Fregean logics, basic properties of SCI Structural proof theory of SCI and WB
Toyooka, Masanobu	Combining First-Order Classical and Intuitionistic Logic
U
Uustalu, Tarmo	Proof Theory of Skew Non-Commutative MILL
V
Veltri, Niccolò	Proof Theory of Skew Non-Commutative MILL Normalization by Evaluation for the Lambek Calculus
W
Wan, Cheng-Syuan	Proof Theory of Skew Non-Commutative MILL
Z
Zaitsev, Dmitry	Cyclic Negations and Four-valuedness
Ł
Łyczak, Marcin	Possible Laws Contra Principle of Plenitude
Ś
Świętorzecka, Kordula	Possible Laws Contra Principle of Plenitude

Disclaimer | Powered by EasyChair Smart Program