Pages that link to "Item:Q5778202"
From MaRDI portal
The following pages link to Note on a property of matrices for Lewis and Langford's calculi of propositions (Q5778202):
Displayed 19 items.
- An interpretation of Łukasiewicz's 4-valued modal logic (Q263087) (← links)
- The single-minded pursuit of consistency and its weakness (Q631514) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Dugundji's theorem revisited (Q2254571) (← links)
- Provability as a deontic notion (Q2562852) (← links)
- WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? (Q2940881) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)
- THE LOGIC OF AUTOMATA (Q4093359) (← links)
- A Strange Remark Attributed to Gödel (Q4448891) (← links)
- The Logical Burdens of Proof. Assertion and Hypothesis (Q4565828) (← links)
- Variations on Jaśkowski’s Discursive Logic (Q4611687) (← links)
- Many-valuedness from a universal logic perspective (Q5061411) (← links)
- Some structure results for propositional calculi (Q5582301) (← links)
- A note on S5 (Q5596733) (← links)
- Some theorems about the sentential calculi of Lewis and Heyting (Q5796041) (← links)
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology (Q5844608) (← links)