scientific article; zbMATH DE number 1950433
From MaRDI portal
Publication:4413048
zbMath1016.03500MaRDI QIDQ4413048
No author found.
Publication date: 17 July 2003
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) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05)
Related Items (13)
A modal sortal logic ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ On Automorphisms of Polyadic Algebras ⋮ Interconnection of the lattices of extensions of four logics ⋮ The Cut Elimination Theorem in the Unary Second Order Language ⋮ Symmetric generalized Galois logics ⋮ Models of noncontradictory formulas and the Ershov hierarchy ⋮ The meaning of the quantifiers in the logic of Lesniewski ⋮ Doxastic logic: a new approach ⋮ An epistemic model of an agent who does not reflect on reasoning processes ⋮ Metainferential duality ⋮ Unnamed Item ⋮ Neo-Logicism and Its Logic
This page was built for publication:
