scientific article; zbMATH DE number 1064418

MaRDI QIDQ4355889zbMATH OpenFDO

Authors David Bostock

Publication date 22 September 1997

zbMATH Keywords

textbookproof systemselementary classical first-order logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 193061
• Introduction to logic
• scientific article; zbMATH DE number 47925
• scientific article; zbMATH DE number 790187

Cited in

(17)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4355889)