Publication:4413048
From MaRDI portal
zbMath1016.03500MaRDI QIDQ4413048
Publication date: 17 July 2003
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B10: Classical first-order logic
03B05: Classical propositional logic
Related Items
Doxastic logic: a new approach, Unnamed Item, Metainferential duality, On Automorphisms of Polyadic Algebras, The Cut Elimination Theorem in the Unary Second Order Language, Neo-Logicism and Its Logic, Quantified temporal alethic boulesic doxastic logic, An epistemic model of an agent who does not reflect on reasoning processes, The meaning of the quantifiers in the logic of Lesniewski, Models of noncontradictory formulas and the Ershov hierarchy, A modal sortal logic, Symmetric generalized Galois logics, Interconnection of the lattices of extensions of four logics