scientific article; zbMATH DE number 1269493
From MaRDI portal
Publication:4236324
zbMath0925.03002MaRDI QIDQ4236324
Publication date: 28 March 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (25)
Strict Fregean free logic ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Elementary functions and loop programs ⋮ Binary quantification systems ⋮ Routley’s formulation of transparency ⋮ The concept of relevance and the logic diagram tradition ⋮ Seven Kinds of Computable and Constructive Infelicities in Economics ⋮ Guest editor's introduction: JvH100 ⋮ Historical development of modern logic ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ On a new idiom in the study of entailment ⋮ Tree proofs for syllogistic ⋮ Short Overview of the Development of Hintikka’s Work in Logic ⋮ Natural Language Versus Formal Language ⋮ Intuitive Semantics for First-Degree Entailment and ‘Coupled Trees’ ⋮ Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond ⋮ A nucleus of a theorem-prover described inAlgol-68 ⋮ Bochenski on property identity and the refutation of universals ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ Intuitive semantics for first-degree entailments and `coupled trees' ⋮ Relevant analytic tableaux ⋮ Wittgensteinian tableaux, identity, and co-denotation ⋮ Formal notes on the substitutional analysis of logical consequence ⋮ The revival of rejective negation ⋮ On Metalogical Relativism
This page was built for publication:
