scientific article; zbMATH DE number 1064418

zbMath0913.03001MaRDI QIDQ4355889

David Bostock

Publication date: 22 September 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

textbookproof systemselementary classical first-order logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05)

Related Items (17)

Quantified temporal alethic boulesic doxastic logic ⋮ Tableaux for free logics with descriptions ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ A brief history of negation ⋮ Variable declarations in natural deduction ⋮ Confronting ideals of proof with the ways of proving of the research mathematician ⋮ On ground and consequence ⋮ Impossible worlds and logical omniscience: an impossibility result ⋮ Dynamic Epistemic Logic and Logical Omniscience ⋮ Doxastic logic: a new approach ⋮ Why conclusions should remain single ⋮ Are currency devaluations effective? A panel unit root test ⋮ A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ Incomplete symbols -- definite descriptions revisited ⋮ A binary quantifier for definite descriptions for cut free free logics

This page was built for publication: