Keyword

kripke semantics (5)
algebraic semantic (1)
autoreferential kripke semantics (1)
completeness (1)
constructive reverse mathematics (1)
countermodel (1)
cut-elimination (1)
full lambek calculus (1)
gaggle theory (1)
join semi-lattice (1)
kleene star (1)
lambek calculi (1)
lattice representation (1)
many-valued logic (1)
modal logic (1)
nonclassical logic (1)
paraconsistent logic (1)
proof theory (1)
reflexive transitive closure (1)
regular language (1)

Prev
Next