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

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

(
(Un)Decidability	Monadicity of Non-deterministic Logical Matrices is Undecidable (Best Paper Award for Junior Researcher)
A
Agda	Proof Theory of Skew Non-Commutative MILL
Algebraizable logic	Algebraizability of the Logic of Quasi-N4-Lattices
almost Guatama algebras	Gautama and Almost Gautama Algebras and Their Associated Logics
andness	Graded Logic, Part I: Humancentric approach to logic Graded Logic, Part II: Graded Conjunction/Disjunction
annihilator	Graded Logic, Part I: Humancentric approach to logic Graded Logic, Part II: Graded Conjunction/Disjunction Graded Logic, Part III: Graded propositional calculus
approximately finite-dimensional C*-algebras	Łukasiewicz Logic and Approximately Finite-Dimensional C*-Algebras
Aristotle and Boethian theses	Connexive Logics via Relating Semantics
assertibility	Natural Deduction for Assertibility and Deniability
B
Bilateralism	Bilateral Inversion Principles
Bisimulation	A van Benthem Theorem for Atomic and Molecular Logics
bistring semantics	The Forms of Categorical Proposition
block of tolerance	Some Aspects of Lattice Tolerances
Boolean connexive logic	An Analysis of Poly-connexivity in Boolean Connexive Logic
branching time temporal logic	On the Expressive Power of the Normal Form for Branching-Time Temporal logics
C
categorical proposition	The Forms of Categorical Proposition
Classical logic	Another combination of classical and intuitionistic conditionals (Best Paper Award for Junior Researcher)
clausal temporal resolution	On the Expressive Power of the Normal Form for Branching-Time Temporal logics
Closed set logic	Mortensen logics
coherence	Proof Theory of Skew Non-Commutative MILL
Collatz conjecture	On the Collatz Conjecture
combining logics	Combining First-Order Classical and Intuitionistic Logic
compatibility semantics
Comprehension Schema	Many-Sorted Logic
computation tree logic	On the Expressive Power of the Normal Form for Branching-Time Temporal logics
concrete domains	Logics with Concrete Domains: An Introduction
Connexive conditional	Mortensen logics
connexive logic	Mortensen logics Superconnexivity Reconsidered Non-normal super-strict implications Connexive Logics via Relating Semantics An Analysis of Poly-connexivity in Boolean Connexive Logic
consequence relation	Cyclic Negations and Four-valuedness
consequence-based knowledge extraction	Forgetting and Consequence-Based Knowledge Extraction for Description Logic Ontologies
Contra-classical logic	Superconnexivity Reconsidered
Contra-classical logics	Dunn semantics for contra-classical logics
contraction-free logics	Contraction-free Logics and the Idea of an Intensional Proof-theoretic Semantics
cut elimination	Combining First-Order Classical and Intuitionistic Logic
D
decidability	Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus
definite descriptions	A Paradox for the Existence Predicate
deniability	Natural Deduction for Assertibility and Deniability
deontic logic	Applications of Relating Semantics in the Normative Domain Tableaux for Some Deontic Logics with the Explicit Permission Operator
description logic	Forgetting and Consequence-Based Knowledge Extraction for Description Logic Ontologies
description logics	Logics with Concrete Domains: An Introduction
discussive logic	On Embedding of D2 into the Minimal Discussive Logic
Disjunction	Another combination of classical and intuitionistic conditionals (Best Paper Award for Junior Researcher)
Dunn semantics	Dunn semantics for contra-classical logics
Dunn-Belnap four-valued semantics	Structural Reasoning and Four-valued Logic: A Case Study
E
Empirical negation	Another combination of classical and intuitionistic conditionals (Best Paper Award for Junior Researcher)
Evaluation conditions	Dunn semantics for contra-classical logics
existence predicate	A Paradox for the Existence Predicate
existential generalisation	Solutions to Puzzles of Existential Generalisation
existential import	The Forms of Categorical Proposition
explicit substitution	Solutions to Puzzles of Existential Generalisation
F
first-order intuitionistic logic	Combining First-Order Classical and Intuitionistic Logic
first-order logic	A Paradox for the Existence Predicate
focusing	Proof Theory of Skew Non-Commutative MILL
forgetting	Forgetting and Consequence-Based Knowledge Extraction for Description Logic Ontologies
four-valued logic	Normalisation for some infectious logics and their relatives
G
Gautama algebras	Gautama and Almost Gautama Algebras and Their Associated Logics
generalized truth values	Cyclic Negations and Four-valuedness
graded conjunction/disjunction	Graded Logic, Part I: Humancentric approach to logic Graded Logic, Part II: Graded Conjunction/Disjunction Graded Logic, Part III: Graded propositional calculus
graded logic	Graded Logic, Part I: Humancentric approach to logic Graded Logic, Part II: Graded Conjunction/Disjunction Graded Logic, Part III: Graded propositional calculus
graded logic conjecture	Graded Logic, Part I: Humancentric approach to logic Graded Logic, Part II: Graded Conjunction/Disjunction Graded Logic, Part III: Graded propositional calculus
H
Harmony	Bilateral Inversion Principles
hybrid logic	Temporal Reference and Temporal Indexicals
hyperintensional logic	Solutions to Puzzles of Existential Generalisation
I
identity	Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus Philosophical foundations of non-Fregean logics, basic properties of SCI Intuitionistic non-Fregean logic ISCI Structural proof theory of SCI and WB
identity of proofs	Contraction-free Logics and the Idea of an Intensional Proof-theoretic Semantics
indexical expressions	Temporal Reference and Temporal Indexicals
infectious logic	Normalisation for some infectious logics and their relatives
information models	Routley Star in Information-Based Semantics (Best Paper Award)
intensionality
Intuitionistic logic	Another combination of classical and intuitionistic conditionals (Best Paper Award for Junior Researcher)
Intuitionistic Sentential Calculus with Identity	Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus
Inversion Principles	Bilateral Inversion Principles
ISCI	Intuitionistic non-Fregean logic ISCI
J
Jerzy Perzanowski	Perzanowski's Combination of Onto-logic and Topology
K
Kalman logic	Routley Star in Information-Based Semantics (Best Paper Award)
Kripke semantics	Normalization by Evaluation for the Lambek Calculus
L
Lambek calculus	Normalization by Evaluation for the Lambek Calculus
language-adaptative strategy	The Forms of Categorical Proposition
lattice theory	Some Aspects of Lattice Tolerances
lattice tolerance	Some Aspects of Lattice Tolerances
Leibniz's metaphysics	Possible Laws Contra Principle of Plenitude
logic D2	On Embedding of D2 into the Minimal Discussive Logic
logic of change	Possible Laws Contra Principle of Plenitude
logic of grounding	From the Logic of Grounding to Relating Logic
logical connectives	Natural Deduction for Assertibility and Deniability
logical form	The Forms of Categorical Proposition
Logical matrix	Monadicity of Non-deterministic Logical Matrices is Undecidable (Best Paper Award for Junior Researcher)
M
many-sorted logic	Many-Sorted Logic
many-valued logic	Cyclic Negations and Four-valuedness
mathematical text	On Interpretation of Mathematical Text: Stetigkeit und irrationale Zahlen as a Case Study
minimal discussive logic	On Embedding of D2 into the Minimal Discussive Logic
Minimal logic	Another combination of classical and intuitionistic conditionals (Best Paper Award for Junior Researcher)
Modal logic	A logic for paraconsistent transition systems, with applications to quantum computing
Model theory	A van Benthem Theorem for Atomic and Molecular Logics
model-adaptive strategy	The Forms of Categorical Proposition
Monadicity	Monadicity of Non-deterministic Logical Matrices is Undecidable (Best Paper Award for Junior Researcher)
multimodal tense logic	CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-learning and SAT
MV-algebras	Łukasiewicz Logic and Approximately Finite-Dimensional C*-Algebras
N
natural deduction	Solutions to Puzzles of Existential Generalisation Natural Deduction for Assertibility and Deniability Normalisation for some infectious logics and their relatives
negation	Routley Star in Information-Based Semantics (Best Paper Award) Cyclic Negations and Four-valuedness Negation-free definitions of paraconsistency
Negation-free paraconsistency	Negation-free definitions of paraconsistency
Negation-inconsistency	Mortensen logics
Non-determinism	Monadicity of Non-deterministic Logical Matrices is Undecidable (Best Paper Award for Junior Researcher)
non-Fregean logic	Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus Philosophical foundations of non-Fregean logics, basic properties of SCI Intuitionistic non-Fregean logic ISCI Structural proof theory of SCI and WB
Non-involutive	Algebraizability of the Logic of Quasi-N4-Lattices
non-normal modalities	Non-normal super-strict implications
normal form	On the Expressive Power of the Normal Form for Branching-Time Temporal logics
normalisation	Normalisation for some infectious logics and their relatives
normalization by evaluation	Normalization by Evaluation for the Lambek Calculus
normative domain	Applications of Relating Semantics in the Normative Domain
O
omega-regularity	Logics with Concrete Domains: An Introduction
onto-logic	Perzanowski's Combination of Onto-logic and Topology
ontology	What is a Topological Ontology?
orness	Graded Logic, Part I: Humancentric approach to logic Graded Logic, Part II: Graded Conjunction/Disjunction
P
Paraconsistency	A logic for paraconsistent transition systems, with applications to quantum computing Negation-free definitions of paraconsistency
Paraconsistent negation	Mortensen logics
Paraconsistent Nelson	Algebraizability of the Logic of Quasi-N4-Lattices
paradoxes of implication	Non-normal super-strict implications
Peano arithmetic	On the Collatz Conjecture
permission operator	Tableaux for Some Deontic Logics with the Explicit Permission Operator
philosophy of science	Scientific Understanding Meets Relating Logic
poly-connexivity	An Analysis of Poly-connexivity in Boolean Connexive Logic
Proof-theoretic semantics	Bilateral Inversion Principles Contraction-free Logics and the Idea of an Intensional Proof-theoretic Semantics
Q
quantification into	Solutions to Puzzles of Existential Generalisation
Quantum computation	A logic for paraconsistent transition systems, with applications to quantum computing
Quasi-negation	Negation-free definitions of paraconsistency
R
R-mingle	Routley Star in Information-Based Semantics (Best Paper Award)
Rasiowa-Sikorski lemma	On the Collatz Conjecture
regular Kleene-Stone algebras	Gautama and Almost Gautama Algebras and Their Associated Logics
relating logic	From the Logic of Grounding to Relating Logic Scientific Understanding Meets Relating Logic
relating semantics	Connexive Logics via Relating Semantics Applications of Relating Semantics in the Normative Domain From the Logic of Grounding to Relating Logic Scientific Understanding Meets Relating Logic
Relevant logic	Superconnexivity Reconsidered
Richard Dedekind	On Interpretation of Mathematical Text: Stetigkeit und irrationale Zahlen as a Case Study
Routley star	Routley Star in Information-Based Semantics (Best Paper Award)
S
SAT-solver	CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-learning and SAT
second-order logic	Many-Sorted Logic
sequent calculus	Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus
skew monoidal closed categories	Proof Theory of Skew Non-Commutative MILL
Stetigkeit und irrationale Zahlen	On Interpretation of Mathematical Text: Stetigkeit und irrationale Zahlen as a Case Study
strict implication	Non-normal super-strict implications
strong completeness	Combining First-Order Classical and Intuitionistic Logic
Strong connexivity	Superconnexivity Reconsidered
structural proof theory	Philosophical foundations of non-Fregean logics, basic properties of SCI Intuitionistic non-Fregean logic ISCI Structural proof theory of SCI and WB
structural reasoning	Structural Reasoning and Four-valued Logic: A Case Study
structuralizable logics	Structural Reasoning and Four-valued Logic: A Case Study
substructural logics	Proof Theory of Skew Non-Commutative MILL Normalization by Evaluation for the Lambek Calculus
T
tableaux	CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-learning and SAT Tableaux for Some Deontic Logics with the Explicit Permission Operator
temporal logic	Temporal Reference and Temporal Indexicals Possible Laws Contra Principle of Plenitude
temporal logics	Logics with Concrete Domains: An Introduction
term logic	The Forms of Categorical Proposition
the principle of plenitude	Possible Laws Contra Principle of Plenitude
three-valued logic	Normalisation for some infectious logics and their relatives
topo-ontology	What is a Topological Ontology?
topology	Perzanowski's Combination of Onto-logic and Topology What is a Topological Ontology?
tree automata	On the Expressive Power of the Normal Form for Branching-Time Temporal logics
Twist-structures	Algebraizability of the Logic of Quasi-N4-Lattices
U
Universal logic	A van Benthem Theorem for Atomic and Molecular Logics
V
van Benthem theorem	A van Benthem Theorem for Atomic and Molecular Logics
Ł
Łukasiewicz logic	Łukasiewicz Logic and Approximately Finite-Dimensional C*-Algebras

Disclaimer | Powered by EasyChair Smart Program