The following pages link to (Q4065517):
Displaying 32 items.
- On the minimal non-Fregean Grzegorczyk logic (Q284218) (← links)
- Fregean logics (Q598302) (← links)
- \(\in_K\): a non-Fregean logic of explicit knowledge (Q633160) (← links)
- Logic, formal methodology and semantics in works of Ryszard Wójcicki (Q647407) (← links)
- Number of extensions of non-Fregean logics (Q815015) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- B-varieties with normal free algebras (Q921027) (← links)
- The slingshot argument and sentential identity (Q1015494) (← links)
- The theory of Boolean algebras with an additional binary operation (Q1073056) (← links)
- Q-ultrafilters and normal ultrafilters in B-algebras (Q1089335) (← links)
- Proof of a conjecture of Roman Suszko (Q1225043) (← links)
- The Fregean axiom and Polish mathematical logic in the \(1920^s\) (Q1256439) (← links)
- On the structure of varieties with equationally definable principal congruences. IV (Q1315322) (← links)
- Reasoning about proof and knowledge (Q1625594) (← links)
- The broadest necessity (Q1633208) (← links)
- Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Interior algebras and varieties (Q1818826) (← links)
- Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
- Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
- Beyond Rasiowan systems: unital deductive systems (Q2254559) (← links)
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) (← links)
- A propositional logic with relative identity connective and a partial solution to the paradox of analysis (Q2642522) (← links)
- Number of non-Fregean sentential logics that have adequate models (Q3419665) (← links)
- Central internal algebras and varieties (Q4261243) (← 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)
- On the Axiom of Canonicity (Q6107281) (← links)
- Some remarks on semantics and expressiveness of the sentential calculus with identity (Q6169324) (← links)
- Decidability of intuitionistic sentential logic with identity via sequent calculus (Q6659904) (← links)
