Pages that link to "Item:Q4340541"
From MaRDI portal
The following pages link to Belnap's Four-Valued Logic and De Morgan Lattices (Q4340541):
Displaying 20 items.
- The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← links)
- (Q3086715) (← links)
- FDE as a Base for Constructive Logic (Q3305615) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
- Priest on Negation (Q3305669) (← links)
- Bilattices and the semantics of logic programming (Q3983121) (← links)
- (Q4256061) (← links)
- An infinity of super-Belnap logics (Q4583174) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices' (Q4934060) (← links)
- (Q4999723) (← links)
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B (Q5066095) (← links)
- (Q5067981) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- PROOF SYSTEMS FOR EXACT ENTAILMENT (Q6148475) (← links)
- Non-deterministic logic of generalized classical truth values (Q6623947) (← links)
- Editorial introduction (Q6642818) (← links)