Pages that link to "Item:Q744990"
From MaRDI portal
The following pages link to Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990):
Displaying 9 items.
- An informational view of classical logic (Q897935) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- A note on two's company: ``The humbug of many logical values'' (Q1682300) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- Translating non-classical logics into classical logic by using hidden variables (Q2399603) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
