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

This page contains an index consisting of author-provided keywords.

A
Absorption of Negation	Arithmetical Characterizations of Two Intuitionistic Logical Principles
adaptive logics	From "Most" to "Likely": Adaptive Logics for Qualified Inductive Prediction
Admissible Rules	A Note on Okada's Purely Constructive Implication
algorithm α	Algorithm α for Positive and Negative Properties in Relating Semantics
anti-classical logic	Algorithm α for Positive and Negative Properties in Relating Semantics
Antivalidity	A Paradox for Substructural Logics
Aristotle's theses	Strongly Paraconsistent Logics of Formal Inconsistency
axiomatization	Algorithm α for Positive and Negative Properties in Relating Semantics
B
Bertrand Russell	Fundamental and Non-Fundamental Causation in Russell's Metaphysics of Science
bilateralism	Bilateralism with Incompatible Proofs and Refutations
bilinear logic	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
Binary quantifiers	Definite Description with Counterparts
bottleneck	⇝-Generation in Pseudo-Heyting Algebras
C
canonical decomposition	A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units
causal eliminativism	Fundamental and Non-Fundamental Causation in Russell's Metaphysics of Science
characterisation theorems	Ongoing Research on Characterisation Theorems for Lightweight Description Logics with Definite Descriptions
CLaN	Paraclassical Logics with Two Negations
CLauN	Paraclassical Logics with Two Negations
Clifford-type representation	A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units
CLuN	Paraclassical Logics with Two Negations Uniform Non-Deterministic Semantics for Ciuciura’s mbC^n-Hierarchy
Completeness theorem	On the Construction of Orthomodular Logic via Restricted Negation
Computation	Proof-Theoretic Semantics as a Double-Model Semantics
connexive logic	Strongly Paraconsistent Logics of Formal Inconsistency
conservative extension	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
constructive logic	Double-Negated Explosion and Natural Deduction
contextuality	Quantum Truthmaker Semantics and its Use for Explicating the Difference Between Classical and Quantum Information
contra-classical logic	Algorithm α for Positive and Negative Properties in Relating Semantics
contradiction	Double-Negated Explosion and Natural Deduction
counterfactuals	A Tableau Approach to Lewis’ Logic of Counterfactuals
Counterpart semantics	Definite Description with Counterparts
cut eliminaton	Cut-free Sequent Calculi for Fregean Logic of Classes
Cut-elimination	A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States
cyclic linear logic	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
cyclic proofs	Intuitionism, Cycles, and Provability Interpretation
D
definite descriptions	Definite Description with Counterparts Normalisation for a Neutral Free Logic with Definite Descriptions Tableaux Rules for a Hierarchy of Theories of Definite Descriptions in Positive Free Logic Global Caching in Tableaux for Description Logic with Definite Descriptions Ongoing Research on Characterisation Theorems for Lightweight Description Logics with Definite Descriptions The Spectrum of Free Theories of Definite Descriptions: A Forgotten Research Programme A New Positive Free Modal Logic with Definite Descriptions
deontic logic	From Deontic to Deontic Relating Logic: Motivations, Examples of Applications, and Ways of Extensions
deontic relating logic	From Deontic to Deontic Relating Logic: Motivations, Examples of Applications, and Ways of Extensions
description logic	Global Caching in Tableaux for Description Logic with Definite Descriptions
description logics	Ongoing Research on Characterisation Theorems for Lightweight Description Logics with Definite Descriptions
dialetheism	Über Überconsistent Logics and Dialetheism
dimathematism	Über Überconsistent Logics and Dialetheism
direct system	A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units
DL-Lite	Ongoing Research on Characterisation Theorems for Lightweight Description Logics with Definite Descriptions
double conditional logic	Is the Logic of Scientific Understanding a (Double) Conditional Logic?
Dual domain semantics	Definite Description with Counterparts
E
Ex Falso Quodlibet	Arithmetical Characterizations of Two Intuitionistic Logical Principles
F
free logic	Definite Description with Counterparts The Spectrum of Free Theories of Definite Descriptions: A Forgotten Research Programme
full Lambek calculus	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
Fuzzy Topological Semantic	On Łukasiewicz Topological Semantics
G
generalized quantifiers	From "Most" to "Likely": Adaptive Logics for Qualified Inductive Prediction
Gentzen	Proof-Theoretic Semantics as a Double-Model Semantics Gentzen’s Idea in View of Non-Deterministic Semantics
global caching	Global Caching in Tableaux for Description Logic with Definite Descriptions
graded likelihood operators	From "Most" to "Likely": Adaptive Logics for Qualified Inductive Prediction
Grzegorczyk logic	Intuitionism, Cycles, and Provability Interpretation
Gödel–Löb logic	Intuitionism, Cycles, and Provability Interpretation
H
Halldén completeness	On Halldén Completeness in Weak Subintuitionistic Logics
Heyting arithmetic	Arithmetical Characterizations of Two Intuitionistic Logical Principles
Hilbert	Proof-Theoretic Semantics as a Double-Model Semantics
hybrid logic	Infinitary System for Hybrid Logic of Discrete Linear Time
Hybrid systems	A Paradox for Substructural Logics
hyperintensionality	Quantum Truthmaker Semantics and its Use for Explicating the Difference Between Classical and Quantum Information
Hypersequent	A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States
hypersequent calculus	Constructive Thoroughly Linear Modal Logic
I
ignorance operator	The Quest for Ultimate Ignorance: Iterated Ignorance is Complex!
infinitary proof systems	Infinitary System for Hybrid Logic of Discrete Linear Time
infinitary rules	A Strongly Complete Infinitary System for Logic of Linear Change
information-based logics	Merging and Evolution of Data Bases: A Many-Logic Approach
Intuitionistic Logic	A Note on Okada's Purely Constructive Implication
intuitionistic modal logic	Constructive Thoroughly Linear Modal Logic
irreducible element	⇝-Generation in Pseudo-Heyting Algebras
K
KR logic	KR Geometry
Kripke frames	On Halldén Completeness in Weak Subintuitionistic Logics
Kripke model	On the Construction of Orthomodular Logic via Restricted Negation
L
Labelled sequent calculus	Definite Description with Counterparts
Lambek calculus	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
legal reasoning	From Deontic to Deontic Relating Logic: Motivations, Examples of Applications, and Ways of Extensions
LFI	Uniform Non-Deterministic Semantics for Ciuciura’s mbC^n-Hierarchy
linear logic	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
local-unit-aligned monoid	A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units
logic of classes	Cut-free Sequent Calculi for Fregean Logic of Classes
Logic of Strict Implication	A Note on Okada's Purely Constructive Implication
logical atomism	Fundamental and Non-Fundamental Causation in Russell's Metaphysics of Science
Logics of Formal Inconsistency	Strongly Paraconsistent Logics of Formal Inconsistency
M
many-logic modal structures	Merging and Evolution of Data Bases: A Many-Logic Approach
many-valued logic	Normalisation for a Neutral Free Logic with Definite Descriptions
Many-Valued Modal Logic	On Łukasiewicz Topological Semantics
many-valued semantics	Gentzen’s Idea in View of Non-Deterministic Semantics
mbC	Uniform Non-Deterministic Semantics for Ciuciura’s mbC^n-Hierarchy
mechanistic theory of causation	Towards Ontology of Causation
Minimal arithmetic	Arithmetical Characterizations of Two Intuitionistic Logical Principles
Mixed negations	Paraclassical Logics with Two Negations
modal logic	A Strongly Complete Infinitary System for Logic of Linear Change Merging and Evolution of Data Bases: A Many-Logic Approach The Quest for Ultimate Ignorance: Iterated Ignorance is Complex! A New Positive Free Modal Logic with Definite Descriptions
modalities	From Deontic to Deontic Relating Logic: Motivations, Examples of Applications, and Ways of Extensions
Model	Proof-Theoretic Semantics as a Double-Model Semantics
multi-agent logic	The Quest for Ultimate Ignorance: Iterated Ignorance is Complex!
N
natural deduction	Normalisation for a Neutral Free Logic with Definite Descriptions Double-Negated Explosion and Natural Deduction Bilateralism with Incompatible Proofs and Refutations
negation	Double-Negated Explosion and Natural Deduction
negation inconsistent logics	Über Überconsistent Logics and Dialetheism
Neighborhood semantics	Arithmetical Characterizations of Two Intuitionistic Logical Principles
Nested sequent	A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States
Network Model of Understanding (NMU)	Is the Logic of Scientific Understanding a (Double) Conditional Logic?
neutral free logic	Normalisation for a Neutral Free Logic with Definite Descriptions
non-classical logic	Uniform Non-Deterministic Semantics for Ciuciura’s mbC^n-Hierarchy
Non-detereministic semantics	Paraclassical Logics with Two Negations
non-deterministic semantics	Uniform Non-Deterministic Semantics for Ciuciura’s mbC^n-Hierarchy Gentzen’s Idea in View of Non-Deterministic Semantics
nonassociative Lambek calculus	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
nonassociative linear logic	Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus
Normal Modal Logic	On Some Logics Intermediate Between S4.2 and S4.3 Defined by the Notion of Independence
normalisation	Normalisation for a Neutral Free Logic with Definite Descriptions
O
Orthomodular logic	On the Construction of Orthomodular Logic via Restricted Negation
orthomodularity	Quantum Truthmaker Semantics and its Use for Explicating the Difference Between Classical and Quantum Information
P
Paracomplete	Paraclassical Logics with Two Negations
Paraconsistent	Paraclassical Logics with Two Negations
paraconsistent logic	Double-Negated Explosion and Natural Deduction Uniform Non-Deterministic Semantics for Ciuciura’s mbC^n-Hierarchy
paraconsistent logics	Strongly Paraconsistent Logics of Formal Inconsistency
planar lattice	⇝-Generation in Pseudo-Heyting Algebras
positive free logic	Tableaux Rules for a Hierarchy of Theories of Definite Descriptions in Positive Free Logic A New Positive Free Modal Logic with Definite Descriptions
possible worlds	From Deontic to Deontic Relating Logic: Motivations, Examples of Applications, and Ways of Extensions
Prawitz	Gentzen’s Idea in View of Non-Deterministic Semantics
Primitive recursive functions	Arithmetical Characterizations of Two Intuitionistic Logical Principles
projective geometry	KR Geometry
proof systems	The Spectrum of Free Theories of Definite Descriptions: A Forgotten Research Programme
proof theory	Normalisation for a Neutral Free Logic with Definite Descriptions Tableaux Rules for a Hierarchy of Theories of Definite Descriptions in Positive Free Logic
Proof-Theoretic Semantics	Proof-Theoretic Semantics as a Double-Model Semantics
proofs	A Tableau Approach to Lewis’ Logic of Counterfactuals
pseudo-Heyting algebra	⇝-Generation in Pseudo-Heyting Algebras
Python	Python-Based Implementation of the Tableau Calculus for Quine's Logic of Classes
Q
qualified reasoning	From "Most" to "Likely": Adaptive Logics for Qualified Inductive Prediction
Quantified modal logic	Definite Description with Counterparts
Quantum logic	A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States Quantum Truthmaker Semantics and its Use for Explicating the Difference Between Classical and Quantum Information
Quantum probability	A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States
Quine's logic of classes (VTC)	Python-Based Implementation of the Tableau Calculus for Quine's Logic of Classes
R
relating semantics	From Deontic to Deontic Relating Logic: Motivations, Examples of Applications, and Ways of Extensions Algorithm α for Positive and Negative Properties in Relating Semantics
representation theorem	A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units
S
S4.2	On Some Logics Intermediate Between S4.2 and S4.3 Defined by the Notion of Independence
S4.3	On Some Logics Intermediate Between S4.2 and S4.3 Defined by the Notion of Independence
scientific understanding	Is the Logic of Scientific Understanding a (Double) Conditional Logic?
scientific worldview	Towards Ontology of Causation
Semantic paradoxes	A Paradox for Substructural Logics
sequent calculus	A Note on Okada's Purely Constructive Implication On the Construction of Orthomodular Logic via Restricted Negation Bilateralism with Incompatible Proofs and Refutations Intuitionism, Cycles, and Provability Interpretation Python-Based Implementation of the Tableau Calculus for Quine's Logic of Classes Cut-free Sequent Calculi for Fregean Logic of Classes
sphere semantics	A Tableau Approach to Lewis’ Logic of Counterfactuals
strong completeness	Infinitary System for Hybrid Logic of Discrete Linear Time A Strongly Complete Infinitary System for Logic of Linear Change
Stuart Glennan	Towards Ontology of Causation
sub-classical logic	Algorithm α for Positive and Negative Properties in Relating Semantics
Subintuitionistic Logic	A Note on Okada's Purely Constructive Implication
subintuitionistic logics	On Halldén Completeness in Weak Subintuitionistic Logics
Subminimal arithmetic	Arithmetical Characterizations of Two Intuitionistic Logical Principles
Substructural logics	A Paradox for Substructural Logics
T
tableaux	A Tableau Approach to Lewis’ Logic of Counterfactuals Global Caching in Tableaux for Description Logic with Definite Descriptions
tableaux calculi	Tableaux Rules for a Hierarchy of Theories of Definite Descriptions in Positive Free Logic
temporal logic	Infinitary System for Hybrid Logic of Discrete Linear Time A Strongly Complete Infinitary System for Logic of Linear Change
term forming operators	Tableaux Rules for a Hierarchy of Theories of Definite Descriptions in Positive Free Logic
thoroughly linear modal logic	Constructive Thoroughly Linear Modal Logic
totally ordered monoid	A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units
truthmaker semantics	Quantum Truthmaker Semantics and its Use for Explicating the Difference Between Classical and Quantum Information
V
Veblen-Young axiom	KR Geometry
Ł
Łukasiewicz Topological Semantics	On Łukasiewicz Topological Semantics

Disclaimer | Powered by EasyChair Smart Program