Logic and structure
From MaRDI portal
Publication:5891768
DOI10.1007/978-1-4471-4558-5zbMath1262.03002OpenAlexW4242503634WikidataQ60358644 ScholiaQ60358644MaRDI QIDQ5891768
Publication date: 25 September 2012
Published in: Universitext (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4471-4558-5
completenesspropositional logicnormalizationultraproductintuitionistic logicsecond-order logicpredicate logicGödel's incompleteness theorem
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (16)
Category theory, logic and formal linguistics: some connections, old and new ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Refining the arithmetical hierarchy of classical principles ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Natural language semantics and computability ⋮ Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions ⋮ Maximal elements with minimal logic ⋮ CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC ⋮ Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic ⋮ Unnamed Item ⋮ The Complexity Landscape of Outcome Determination in Judgment Aggregation ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Finite sets and infinite sets in weak intuitionistic arithmetic ⋮ PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC
This page was built for publication: Logic and structure
