scientific article; zbMATH DE number 1064418
From MaRDI portal
Publication:4355889
zbMath0913.03001MaRDI QIDQ4355889
Publication date: 22 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
