Embedding from multilattice logic into classical logic and vice versa

DOI10.1093/logcom/exw015zbMath1444.03090OpenAlexW2435951483MaRDI QIDQ3133174

Yaroslav Shramko, Norihiro Kamide

Publication date: 13 February 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exw015

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion, Modal multilattice logic, Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework, Paraconsistent double negations as classical and intuitionistic negations, Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant, Provability multilattice logic, Falsification-aware calculi and semantics for normal modal logics including S4 and S5, Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation, Modal extension of ideal paraconsistent four-valued logic and its subsystem, On a multilattice analogue of a hypersequent S5 calculus, Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi, Unnamed Item, Embedding friendly first-order paradefinite and connexive logics, Two proofs of the algebraic completeness theorem for multilattice logic, Modal multilattice logics with Tarski, Kuratowski, and Halmos operators