Pages that link to "Item:Q2537104"
From MaRDI portal
The following pages link to Investigations into the sentential calculus with identity (Q2537104):
Displaying 20 items.
- Non-Fregean propositional logic with quantifiers (Q286706) (← links)
- Fregean logics (Q598302) (← links)
- Reasoning about proof and knowledge (Q1625594) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
- Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
- Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) (← links)
- Semantics for the sentential calculus with identity (Q2554322) (← links)
- A propositional logic with relative identity connective and a partial solution to the paradox of analysis (Q2642522) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★ (Q3647282) (← links)
- ON THE LAWS OF FORM (Q4113796) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Content Implication and the Yablo’s Sequent of Sentences (Q5006817) (← links)
- An Investigation into Intuitionistic Logic with Identity (Q5126198) (← links)
- A ``Distributive'' or a ``Collective'' Approach to Sentences? (Q5215507) (← links)
- Psychophysiological approach to the liar paradox: Jean Buridan's virtual entailment principle put to the test (Q6067105) (← links)
- On the Axiom of Canonicity (Q6107281) (← links)
- Some remarks on semantics and expressiveness of the sentential calculus with identity (Q6169324) (← links)
