The following pages link to (Q4236324):
Displaying 26 items.
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Tree proofs for syllogistic (Q918950) (← links)
- Wittgensteinian tableaux, identity, and co-denotation (Q1020577) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- Strict Fregean free logic (Q1325777) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Intuitive semantics for first-degree entailments and `coupled trees' (Q1786806) (← links)
- Elementary functions and loop programs (Q1903128) (← links)
- Binary quantification systems (Q1906668) (← links)
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Historical development of modern logic (Q1942092) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- On a new idiom in the study of entailment (Q1942338) (← links)
- Bochenski on property identity and the refutation of universals (Q2499300) (← links)
- Short Overview of the Development of Hintikka’s Work in Logic (Q3299569) (← links)
- Natural Language Versus Formal Language (Q3305605) (← links)
- Intuitive Semantics for First-Degree Entailment and ‘Coupled Trees’ (Q3305606) (← links)
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
- Routley’s formulation of transparency (Q4018174) (← links)
- A nucleus of a theorem-prover described inAlgol-68 (Q4401574) (← links)
- Seven Kinds of Computable and Constructive Infelicities in Economics (Q4598050) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- On Metalogical Relativism (Q5258985) (← links)
- Categorical Propositions and Existential Import: A Post-modern Perspective (Q6650469) (← links)
