Logic and structure

DOI10.1007/978-1-4471-4558-5zbMath1262.03002OpenAlexW4242503634WikidataQ60358644 ScholiaQ60358644MaRDI QIDQ5891768

Dirk van Dalen

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

zbMATH Keywords

completenesspropositional logicnormalizationultraproductintuitionistic logicsecond-order logicpredicate logicGödel's incompleteness theorem

Mathematics Subject Classification ID

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