Pages that link to "Item:Q5791203"
From MaRDI portal
The following pages link to Fragments of the propositional calculus (Q5791203):
Displayed 11 items.
- 2-element matrices (Q1168307) (← links)
- Two semantical approaches to paraconsistent modalities (Q1931347) (← links)
- Dugundji's theorem revisited (Q2254571) (← links)
- Completeness of calculii for axiomatically defined classes of algebras (Q2556880) (← links)
- The compactness of first-order logic:from gödel to lindström (Q3141183) (← links)
- In Memoriam: Leon Albert Henkin 1921–2006 (Q3398617) (← links)
- Completeness and incompleteness for anodic modal logics (Q3400790) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- Substitutionless predicate logic with identity (Q5541306) (← links)
- Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability (Q5553280) (← links)
- Identities in Two-Valued Calculi (Q5806804) (← links)