scientific article; zbMATH DE number 5872210
From MaRDI portal
Publication:3086715
zbMATH Open1227.03032MaRDI QIDQ3086715FDOQ3086715
Publication date: 30 March 2011
Title of this publication is not available (Why is that?)
Recommendations
- Four-valued semantics for relevant logics (and some of their rivals)
- Belnap's Four-Valued Logic and De Morgan Lattices
- The \(B_{4}\)-valued propositional Belnap-Dunn logic
- scientific article; zbMATH DE number 2209893
- Four-valued modal logic: Kripke semantics and duality
- Many-valued logics and bivalent modalities
- De Morgan clones and four-valued logics
- ``Four-valued semantics for the relevant logic R
- A four-valued semantics for terminological logics
bivalent semanticsuniversal logictheory of valuationDe Morgan logicfour-valued Dunn-Belnap semantics
Cited In (17)
- Axiomatization of the De Morgan type rules
- Title not available (Why is that?)
- De Morgan clones and four-valued logics
- 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
- Four-valued paradefinite logics
- Truth and the liar in De Morgan-valued models
- Generalizing functional completeness in Belnap-Dunn logic
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
- Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Trivial Dialetheism and the Logic of Paradox
- Disentangling contradiction from contrariety via incompatibility
- Metalogical decorations of logical diagrams
- Embedding friendly first-order paradefinite and connexive logics
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3086715)
