Logic and structure
From MaRDI portal
Publication:5907067
zbMath1048.03001MaRDI QIDQ5907067
Publication date: 23 March 2004
Published in: Universitext (Search for Journal in Brave)
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)
Related Items (35)
Semantics for intuitionistic epistemic logics of shallow depths for game theory ⋮ Economic reasoning with demand and supply graphs ⋮ Algebraic semantics for modal and superintuitionistic non-monotonic logics ⋮ 40 years of FDE: an introductory overview ⋮ On definite program answers and least Herbrand models ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ No two entities without identity ⋮ A characterization of generalized existential completions ⋮ A framework for intuitionistic grammar logics ⋮ Neighborhood Semantics for Basic and Intuitionistic Logic ⋮ An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic ⋮ A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP ⋮ Are mathematical theories reducible to non-analytic foundations? ⋮ Cathoristic Logic ⋮ Belief functions on distributive lattices ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ On Non-transitive “Identity” ⋮ Natural deduction bottom up ⋮ Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ Combinatorial bitstring semantics for arbitrary logical fragments ⋮ Kripke semantics for higher-order type theory applied to constraint logic programming languages ⋮ Structures of Oppositions in Public Announcement Logic ⋮ Omitting types in an intermediate logic ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions ⋮ Logics for Two Fragments beyond the Syllogistic Boundary ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Preservation theorems for Kripke models ⋮ Unnamed Item ⋮ Quantified Equilibrium Logic and Foundations for Answer Set Programs ⋮ Maximal ideals in countable rings, constructively ⋮ Neo-Logicism and Its Logic ⋮ Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
This page was built for publication: Logic and structure
