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

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

(
(Un)Decidability
A
Agda
Algebraizable logic
almost Guatama algebras
andness
annihilator
approximately finite-dimensional C*-algebras
Aristotle and Boethian theses
assertibility
B
Bilateralism
Bisimulation
bistring semantics
block of tolerance
Boolean connexive logic
branching time temporal logic
C
categorical proposition
Classical logic
clausal temporal resolution
Closed set logic
coherence
Collatz conjecture
combining logics
compatibility semantics
Comprehension Schema
computation tree logic
concrete domains
Connexive conditional
connexive logic
consequence relation
consequence-based knowledge extraction
Contra-classical logic
Contra-classical logics
contraction-free logics
cut elimination
D
decidability
definite descriptions
deniability
deontic logic
description logic
description logics
discussive logic
Disjunction
Dunn semantics
Dunn-Belnap four-valued semantics
E
Empirical negation
Evaluation conditions
existence predicate
existential generalisation
existential import
explicit substitution
F
first-order intuitionistic logic
first-order logic
focusing
forgetting
four-valued logic
G
Gautama algebras
generalized truth values
graded conjunction/disjunction
graded logic
graded logic conjecture
H
Harmony
hybrid logic
hyperintensional logic
I
identity
identity of proofs
indexical expressions
infectious logic
information models
intensionality
Intuitionistic logic
Intuitionistic Sentential Calculus with Identity
Inversion Principles
ISCI
J
Jerzy Perzanowski
K
Kalman logic
Kripke semantics
L
Lambek calculus
language-adaptative strategy
lattice theory
lattice tolerance
Leibniz's metaphysics
logic D2
logic of change
logic of grounding
logical connectives
logical form
Logical matrix
M
many-sorted logic
many-valued logic
mathematical text
minimal discussive logic
Minimal logic
Modal logic
Model theory
model-adaptive strategy
Monadicity
multimodal tense logic
MV-algebras
N
natural deduction
negation
Negation-free paraconsistency
Negation-inconsistency
Non-determinism
non-Fregean logic
Non-involutive
non-normal modalities
normal form
normalisation
normalization by evaluation
normative domain
O
omega-regularity
onto-logic
ontology
orness
P
Paraconsistency
Paraconsistent negation
Paraconsistent Nelson
paradoxes of implication
Peano arithmetic
permission operator
philosophy of science
poly-connexivity
Proof-theoretic semantics
Q
quantification into
Quantum computation
Quasi-negation
R
R-mingle
Rasiowa-Sikorski lemma
regular Kleene-Stone algebras
relating logic
relating semantics
Relevant logic
Richard Dedekind
Routley star
S
SAT-solver
second-order logic
sequent calculus
skew monoidal closed categories
Stetigkeit und irrationale Zahlen
strict implication
strong completeness
Strong connexivity
structural proof theory
structural reasoning
structuralizable logics
substructural logics
T
tableaux
temporal logic
temporal logics
term logic
the principle of plenitude
three-valued logic
topo-ontology
topology
tree automata
Twist-structures
U
Universal logic
V
van Benthem theorem
Ł
Łukasiewicz logic