Embedding from multilattice logic into classical logic and vice versa
From MaRDI portal
(Redirected from Publication:3133174)
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
Cited in
(19)- 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
- Symmetric and conflated intuitionistic logics
- Embedding friendly first-order paradefinite and connexive logics
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- A binary quantifier for definite descriptions in Nelsonian free logic
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)
