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 |