Pages that link to "Item:Q3293394"
From MaRDI portal
The following pages link to Quasi-truth-functional systems of propositional logic (Q3293394):
Displaying 10 items.
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Swap structures semantics for Ivlev-like modal logics (Q2317515) (← links)
- Jaina Logic and the Philosophical Basis of Pluralism (Q4448894) (← links)
- A propositional system induced by Japaridze's approach to IF logic (Q4644501) (← links)
- (Q5855515) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)