NCL'24: NON-CLASSICAL LOGICS: THEORY AND APPLICATIONS 2024

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

A
algebraic semantics	An interpretation of McCall’s CC1
algebraizable logic	Unorthodox Algebras and Their Associated Logics
Almukand-Nelson's system N4	Another Constructive Motivation for Some Connexive Logics
American Plan	Kamide is in America, Moisil and Leitgeb are in Australia
analytic cut	Proof surgeries in non-classical logics
anti-Boolean algebras	Unorthodox Algebras and Their Associated Logics
Aristotle's and Boethius's theses	A simulation of connexive logic based on pair sentential calculus
Australian Plan	Kamide is in America, Moisil and Leitgeb are in Australia
automatic proves	Bridging Classical and Modern Approaches to Thales' Theorem: From Euclidean Proportion to Automated Theorem Proving
axiomatization	The disjunction-free fragment of D_2 is three-valued
B
binary quantifier for definite descriptions	A Theory of Definite Descriptions
bisequent calculus	Bisequent Calculi for Neutral Free Logic with Definite Descriptions
bisimulation	Modal logic with definite descriptions: complexity, bisimulation, and tableaux
Boolean algebra	Complexity of Nonassociative Lambek Calculus with classical logic
Boolean connexive logic	Current topics in Boolean connexive logic How classical connexive logic can be?
Boolean modal connexive logic	How classical connexive logic can be?
Boolean Negation	Kamide is in America, Moisil and Leitgeb are in Australia
Boolean non-Fregean logic WB	Cut-elimination for non-Fregean logic WB and some of its consequences
bounded cut	Proof surgeries in non-classical logics
C
CEGAR-tableaux	CEGAR-Tableaux: Improved modal satisfiability for modal and tense logics
Chrysippian implication	What medieval logicians have to say about the basic principles of connexive logic
Classical Logic	Complexity of Nonassociative Lambek Calculus with classical logic Kamide is in America, Moisil and Leitgeb are in Australia
Coalition Logic	Logics for Strategic Reasoning about Socially Interacting Rational Agents
completeness	The disjunction-free fragment of D_2 is three-valued
Completeness theorem	Tree Sequent Calculus for Modal Logic MB
computational complexity	Complexity of Nonassociative Lambek Calculus with classical logic
conditional logic CK	Non-classical conditionals and connexivity
connection relation	Current topics in Boolean connexive logic
connexive counterpart theory	Connexive Counterpart Theory
connexive extensions of PSC	A simulation of connexive logic based on pair sentential calculus
connexive implication	What medieval logicians have to say about the basic principles of connexive logic
Connexive logic	Unified Gentzen Approach to Connexive Logics over Wansing's C Kamide is in America, Moisil and Leitgeb are in Australia
connexive logics with the falsity constant ⊥	Another Constructive Motivation for Some Connexive Logics
Constructive negation	Continua of logcs for negation below in intuitionistic logic
content relevance	On the history and motivations of connexive logic
contra-classical logic	A note on Grigoriev and Zaitsev's system CNL^2_4
contradictory logics	Queer feminist views on contradictory logics: A symbiotic relationship
countermodels	Intuitionistic K: Proofs, Countermodels and Simulation
counterpart relation	Connexive Counterpart Theory
counterpart theory	Connexive Counterpart Theory
Curry-Howard correspondence	Intuitionistic natural deduction with a general collapse rule and its propositions-as-types interpretation
cut elimination	Bisequent Calculi for Neutral Free Logic with Definite Descriptions
cut rule	Proof surgeries in non-classical logics
Cut-elimination	Twist Sequent Calculi for S4 and its Neighbors Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
cut-elimination and decidability	Cut-elimination for non-Fregean logic WB and some of its consequences
Cut-elimination theorem	Tree Sequent Calculus for Modal Logic MB Unified Gentzen Approach to Connexive Logics over Wansing's C A Unified Gentzen-style Framework for Until-free LTL
D
Decidability	Complexity of Nonassociative Lambek Calculus with classical logic Tree Sequent Calculus for Modal Logic MB
decision procedure	Decision procedure for PLTL via the method of Socratic proofs
definite descriptions	Normalisation for Negative Free Logic with Definite Descriptions A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic A Theory of Definite Descriptions Modal logic with definite descriptions: complexity, bisimulation, and tableaux Bisequent Calculi for Neutral Free Logic with Definite Descriptions
definiteness	Incomplete descriptions and qualified definiteness
density rule	Proof surgeries in non-classical logics
dialetheism	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic
discriminator variety	Unorthodox Algebras and Their Associated Logics
discursive logic	The disjunction-free fragment of D_2 is three-valued
discussive logic	The disjunction-free fragment of D_2 is three-valued
double negation elimination	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic
Duality	Many-Valued Modal Logic
E
embedding	Agent-Knowledge Logic for Alternative Epistemic Logic
epistemic logic	Agent-Knowledge Logic for Alternative Epistemic Logic There are unknown intuitionistic truths (at least in some intuitionistic models)
equality	Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
everyday reasoning	Formalization of the Chysippus conditional
exponential time	Complexity of Nonassociative Lambek Calculus with classical logic
F
Facebook logic	Agent-Knowledge Logic for Alternative Epistemic Logic
feminist logic	Queer feminist views on contradictory logics: A symbiotic relationship
finitary consequence relation	Complexity of Nonassociative Lambek Calculus with classical logic
finite axiomatizations	A nonclassical theory of sets and functions: advancing the foundations of mathematics
Finite Models	Mapping Probability with Logic: First Order Models in Puzzle Solving
First Order Logic	Mapping Probability with Logic: First Order Models in Puzzle Solving
first-order logic	Bisequent Calculi for Neutral Free Logic with Definite Descriptions
foundations of geometry	Bridging Classical and Modern Approaches to Thales' Theorem: From Euclidean Proportion to Automated Theorem Proving
foundations of mathematics	A nonclassical theory of sets and functions: advancing the foundations of mathematics
four-valued logic	The disjunction-free fragment of D_2 is three-valued
free logic	Normalisation for Negative Free Logic with Definite Descriptions
G
GCLC	Bridging Classical and Modern Approaches to Thales' Theorem: From Euclidean Proportion to Automated Theorem Proving
H
Hilbert-style system	Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
history of connexive logic	On the history and motivations of connexive logic
hybrid logic	Agent-Knowledge Logic for Alternative Epistemic Logic Modal logic with definite descriptions: complexity, bisimulation, and tableaux
hyperfinite sum	Reading Newton's "De Analysi" by hyperfinite sums
hypersequent calculus	Hypersequent Calculi for Propositional Linear-Time Temporal Logic Proof surgeries in non-classical logics
I
incomplete descriptions	Incomplete descriptions and qualified definiteness
indivisibles	Reading Newton's "De Analysi" by hyperfinite sums
inferential erotetic logic	Decision procedure for PLTL via the method of Socratic proofs Socratic Proofs for Propositional Linear-Time Temporal Logic
infinitesimals	Reading Newton's "De Analysi" by hyperfinite sums
intuitionism	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic
intuitionistic linear logic	Semi-Substructural Logics à la Lambek
intuitionistic logic	There are unknown intuitionistic truths (at least in some intuitionistic models) Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic Continua of logcs for negation below in intuitionistic logic Kamide is in America, Moisil and Leitgeb are in Australia
K
keyword 1	From Wansing's falsity conditio to connexive logic
keyword 2	From Wansing's falsity conditio to connexive logic
keyword 3	From Wansing's falsity conditio to connexive logic
knowability paradox	There are unknown intuitionistic truths (at least in some intuitionistic models)
Kripke semantics	Many-Valued Modal Logic Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic
L
Lambek calculus	Complexity of Nonassociative Lambek Calculus with classical logic Semi-Substructural Logics à la Lambek
law of excluded middle	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic
Linear-time temporal logic	A Unified Gentzen-style Framework for Until-free LTL
logic of content	Formalization of the Chysippus conditional
logic of content relationship	Proof theory for Epstein’s logics of content relationship
logic of paradox	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic
logics of classes	Sequent Calculi for Logics of Classes
M
many-dimensional modal logic	Agent-Knowledge Logic for Alternative Epistemic Logic
Many-valued logic	Many-Valued Modal Logic The power of generalized Clemens semantics A note on Grigoriev and Zaitsev's system CNL^2_4 Modal Logics - RNmatrices vs. Nmatrices
McCall’s logic CC1	An interpretation of McCall’s CC1
measurement	Probability Logics for Reasoning About Measuring Quantum Observations on the spaces with innite dimension
Minimal Change Strategy	How classical connexive logic can be?
Minimal logic	Continua of logcs for negation below in intuitionistic logic
mixed consequence relations	The power of generalized Clemens semantics
modal logic	Many-Valued Modal Logic Agent-Knowledge Logic for Alternative Epistemic Logic Tree Sequent Calculus for Modal Logic MB Modal Logics - RNmatrices vs. Nmatrices CEGAR-Tableaux: Improved modal satisfiability for modal and tense logics Modal logic with definite descriptions: complexity, bisimulation, and tableaux
Multimodal Lambek Calculus	Algebraic Completeness and Semantic Cut-Elimination of a Multimodal Formulation of Morrrill's Categorial Logic
N
natural deduction	Intuitionistic natural deduction with a general collapse rule and its propositions-as-types interpretation Normalisation for Negative Free Logic with Definite Descriptions A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
natural deduction in sequent style	Two Cases of Deduction with Descriptions and Partiality
Natural deduction system	Proof theory for Epstein’s logics of content relationship A Unified Gentzen-style Framework for Until-free LTL
Nelson logic	A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
Nested sequents	Intuitionistic K: Proofs, Countermodels and Simulation Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
neutral free logic	Bisequent Calculi for Neutral Free Logic with Definite Descriptions
Newton	Reading Newton's "De Analysi" by hyperfinite sums
non-denoting expressions	Two Cases of Deduction with Descriptions and Partiality
Non-deterministic Matrices	Modal Logics - RNmatrices vs. Nmatrices
Non-Fregean logics	Cut-elimination for non-Fregean logic WB and some of its consequences
non-referring descriptions	Two Cases of Deduction with Descriptions and Partiality
non-rigid term	Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
Non-transitivity	A Case for Weak Kleene ST
Nonassociative Lambek Calculus	Complexity of Nonassociative Lambek Calculus with classical logic
nonclassical logic	A nonclassical theory of sets and functions: advancing the foundations of mathematics
Normal modal logic S4	Twist Sequent Calculi for S4 and its Neighbors
Normalization theorem	Unified Gentzen Approach to Connexive Logics over Wansing's C A Unified Gentzen-style Framework for Until-free LTL
P
paracomplete logic	The power of generalized Clemens semantics A note on Grigoriev and Zaitsev's system CNL^2_4
paraconsistency	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic A Case for Weak Kleene ST
paraconsistent logic	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic The disjunction-free fragment of D_2 is three-valued The power of generalized Clemens semantics A note on Grigoriev and Zaitsev's system CNL^2_4
paraconsitent Nelson's logic N4	Non-classical conditionals and connexivity
Paradox	A Case for Weak Kleene ST
partial type theory	Two Cases of Deduction with Descriptions and Partiality
PLTL	Decision procedure for PLTL via the method of Socratic proofs
positive free logic	Weak Extensions and Free Logic: a Proof-Theoretic Case Study A Theory of Definite Descriptions
Probabilistic puzzles	Mapping Probability with Logic: First Order Models in Puzzle Solving
probability	Probability Logics for Reasoning About Measuring Quantum Observations on the spaces with innite dimension
proof search	Intuitionistic K: Proofs, Countermodels and Simulation
proof theory	Proof theory for Epstein’s logics of content relationship Normalisation for Negative Free Logic with Definite Descriptions Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
proof transformation	Proof surgeries in non-classical logics
proof-theoretic semantics	Intuitionistic natural deduction with a general collapse rule and its propositions-as-types interpretation Incomplete descriptions and qualified definiteness
proportion	Bridging Classical and Modern Approaches to Thales' Theorem: From Euclidean Proportion to Automated Theorem Proving
propositional linear-time temporal logic	Hypersequent Calculi for Propositional Linear-Time Temporal Logic Socratic Proofs for Propositional Linear-Time Temporal Logic
propositions-as-types principle	Intuitionistic natural deduction with a general collapse rule and its propositions-as-types interpretation
Provability logic	Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
Q
Quantum logic	Tree Sequent Calculus for Modal Logic MB
quantum mechanics	Probability Logics for Reasoning About Measuring Quantum Observations on the spaces with innite dimension
queer feminist theories	Queer feminist views on contradictory logics: A symbiotic relationship
R
recapture	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic
relating logic	Proof theory for Epstein’s logics of content relationship Current topics in Boolean connexive logic
relating semantics	An interpretation of McCall’s CC1
Restricted Non-deterministic Matrices	Modal Logics - RNmatrices vs. Nmatrices
Revenge	A Case for Weak Kleene ST
S
SAT-solver	CEGAR-Tableaux: Improved modal satisfiability for modal and tense logics
semantic incompleteness	Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
Sequent calculus	Many-Valued Modal Logic Tree Sequent Calculus for Modal Logic MB A Unified Gentzen-style Framework for Until-free LTL Proof surgeries in non-classical logics Sequent Calculi for Logics of Classes
sequent system	Proof theory for Epstein’s logics of content relationship
set theory	Sequent Calculi for Logics of Classes
skew monoidal categories	Semi-Substructural Logics à la Lambek
social interactions of rational agents	Logics for Strategic Reasoning about Socially Interacting Rational Agents
socratic proofs	Socratic Proofs for Propositional Linear-Time Temporal Logic
Sorites	A Case for Weak Kleene ST
standard translation of CK into classical first-order logic	Non-classical conditionals and connexivity
status relevance	On the history and motivations of connexive logic
strategic reasoning	Logics for Strategic Reasoning about Socially Interacting Rational Agents
strict implication	What medieval logicians have to say about the basic principles of connexive logic
Strict/Tolerant Logic	A Case for Weak Kleene ST
strictly-truth-inference	Formalization of the Chysippus conditional
Strong Negation	Kamide is in America, Moisil and Leitgeb are in Australia
Subexponentials	Algebraic Completeness and Semantic Cut-Elimination of a Multimodal Formulation of Morrrill's Categorial Logic
Subformula property	Twist Sequent Calculi for S4 and its Neighbors
Subminimal logics	Continua of logcs for negation below in intuitionistic logic
Subminimal negation	Continua of logcs for negation below in intuitionistic logic
substructural logic	Complexity of Nonassociative Lambek Calculus with classical logic
Substructural Modalities	Algebraic Completeness and Semantic Cut-Elimination of a Multimodal Formulation of Morrrill's Categorial Logic
Suszko's logic SCI	A simulation of connexive logic based on pair sentential calculus
T
tableaux	Modal logic with definite descriptions: complexity, bisimulation, and tableaux
temporal reasoning	Hypersequent Calculi for Propositional Linear-Time Temporal Logic
term-modal logic	Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
Thales theorem	Bridging Classical and Modern Approaches to Thales' Theorem: From Euclidean Proportion to Automated Theorem Proving
the fundamental theorem of calculus	Reading Newton's "De Analysi" by hyperfinite sums
the method of Socratic proofs	Decision procedure for PLTL via the method of Socratic proofs
three-valued logic	Intuitionistic Logic of Paradox: Introducing a Paraconsistent Intuitionistic Logic The disjunction-free fragment of D_2 is three-valued The power of generalized Clemens semantics Bisequent Calculi for Neutral Free Logic with Definite Descriptions
truth-inference	Formalization of the Chysippus conditional
Twist sequent calculus	Twist Sequent Calculi for S4 and its Neighbors
U
uniqueness	Incomplete descriptions and qualified definiteness
V
virtual domain	Weak Extensions and Free Logic: a Proof-Theoretic Case Study
virtual term	Weak Extensions and Free Logic: a Proof-Theoretic Case Study
W
Wansing's connexive logic C	Another Constructive Motivation for Some Connexive Logics
weak extension	Weak Extensions and Free Logic: a Proof-Theoretic Case Study
Weak Kleene	A Case for Weak Kleene ST

Disclaimer | Powered by EasyChair Smart Program