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 13 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)
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- Monadicity of non-deterministic logical matrices is undecidable (Q6659898) (← links)
