NCL’26: NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS 2026

A
Ageno, Ludovico	Definite Description with Counterparts
C
Ciuciura, Janusz	Strongly Paraconsistent Logics of Formal Inconsistency
D
Drozdowska, Ela	Uniform Non-Deterministic Semantics for Ciuciura’s mbC^n-Hierarchy
G
Goranko, Valentin	The Quest for Ultimate Ignorance: Iterated Ignorance is Complex!
Gyenis, Zalán	⇝-Generation in Pseudo-Heyting Algebras
H
Hałapacz, Maciej	On Some Logics Intermediate Between S4.2 and S4.3 Defined by the Notion of Independence
I
Ichikura, Kaito	Arithmetical Characterizations of Two Intuitionistic Logical Principles
Indrzejczak, Andrzej	Cut-free Sequent Calculi for Fregean Logic of Classes
J
Jarmużek, Tomasz	Algorithm α for Positive and Negative Properties in Relating Semantics A Tableau Approach to Lewis’ Logic of Counterfactuals
Jenei, Sándor	A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units
K
Kashima, Ryo	On the Construction of Orthomodular Logic via Restricted Negation
Kawano, Tomoaki	A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States On the Construction of Orthomodular Logic via Restricted Negation
Khan, Muhammad Afaq	On Łukasiewicz Topological Semantics
Klonowski, Mateusz	Algorithm α for Positive and Negative Properties in Relating Semantics
Kluz, Sebastian	From Deontic to Deontic Relating Logic: Motivations, Examples of Applications, and Ways of Extensions
Kostrzycka, Zofia	On Halldén Completeness in Weak Subintuitionistic Logics
Kürbis, Nils	Tableaux Rules for a Hierarchy of Theories of Definite Descriptions in Positive Free Logic The Spectrum of Free Theories of Definite Descriptions: A Forgotten Research Programme
M
Macías Bustos, Moisés	Fundamental and Non-Fundamental Causation in Russell's Metaphysics of Science
Madeira, Alexandre	On Łukasiewicz Topological Semantics
Martins, Manuel A.	Merging and Evolution of Data Bases: A Many-Logic Approach On Łukasiewicz Topological Semantics
Martínez-Ordaz, María del Rosario	Is the Logic of Scientific Understanding a (Double) Conditional Logic?
Meheus, Joke	From "Most" to "Likely": Adaptive Logics for Qualified Inductive Prediction
N
Niki, Satoru	Double-Negated Explosion and Natural Deduction
O
Oleksowicz, Michał	Towards Ontology of Causation
Omori, Hitoshi	Gentzen’s Idea in View of Non-Deterministic Semantics
Orlandelli, Eugenio	Intuitionism, Cycles, and Provability Interpretation
P
Pailos, Federico	A Paradox for Substructural Logics
Pawlowski, Pawel	Paraclassical Logics with Two Negations
Pawlowski, Pawel	Uniform Non-Deterministic Semantics for Ciuciura’s mbC^n-Hierarchy
Petrukhin, Yaroslav	Normalisation for a Neutral Free Logic with Definite Descriptions A New Positive Free Modal Logic with Definite Descriptions
Piccolomini D'Aragona, Antonio	Proof-Theoretic Semantics as a Double-Model Semantics
Pimentel, Elaine	Bilateralism with Incompatible Proofs and Refutations
Płaczek, Paweł	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
R
Rivas-Robledo, Pablo	Definite Description with Counterparts
Rodrigues, Abilio	Merging and Evolution of Data Bases: A Many-Logic Approach
Rygiewicz, Zuzanna	KR Geometry
S
Sawasaki, Takahiro	A New Positive Free Modal Logic with Definite Descriptions
Sochański, Michał	Python-Based Implementation of the Tableau Calculus for Quine's Logic of Classes
T
Toyooka, Masanobu	A Note on Okada's Purely Constructive Implication
U
Uzar, Bartłomiej	Infinitary System for Hybrid Logic of Discrete Linear Time
V
Verdée, Peter	Quantum Truthmaker Semantics and its Use for Explicating the Difference Between Classical and Quantum Information
Vigiani, Pietro	Paraclassical Logics with Two Negations
W
Wan, Cheng-Syuan	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
Wang, Yiheng	Constructive Thoroughly Linear Modal Logic
Wansing, Heinrich	Über Überconsistent Logics and Dialetheism
Wałęga, Przemysław	Ongoing Research on Characterisation Theorems for Lightweight Description Logics with Definite Descriptions
Wąsiak, Kacper	A Tableau Approach to Lewis’ Logic of Counterfactuals
Z
Zaman, Babar	On Łukasiewicz Topological Semantics
Zawidzki, Michał	Global Caching in Tableaux for Description Logic with Definite Descriptions
Ł
Łazarz, Marcin	⇝-Generation in Pseudo-Heyting Algebras
Ś
Świętorzecka, Kordula	A Strongly Complete Infinitary System for Logic of Linear Change

Disclaimer | Powered by EasyChair Smart Program