Embedding from multilattice logic into classical logic and vice versa
DOI10.1093/LOGCOM/EXW015zbMATH Open1444.03090OpenAlexW2435951483MaRDI QIDQ3133174FDOQ3133174
Authors: Norihiro Kamide, Yaroslav Shramko 
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
Recommendations
- Embedding classical in minimal implicational logic
- An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
- scientific article; zbMATH DE number 1858065
- Embedding classical logic into basic orthologic with a primitive modality
- Embedding classical propositional logic into paralogics related to Par
- On proof terms and embeddings of classical substructural logics
- Embeddings of implicative lattices and superintuitionistic logics
- scientific article; zbMATH DE number 1738633
- Embeddings of propositional monomodal logics
- scientific article; zbMATH DE number 2090289
Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Logical aspects of lattices and related structures (03G10)
Cited In (17)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- Two proofs of the algebraic completeness theorem for multilattice logic
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics
- On a multilattice analogue of a hypersequent S5 calculus
- Provability multilattice logic
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Paraconsistent double negations as classical and intuitionistic negations
- Modal multilattice logic
- Title not available (Why is that?)
- Embedding friendly first-order paradefinite and connexive logics
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
This page was built for publication: Embedding from multilattice logic into classical logic and vice versa
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133174)
