Semantics and completeness for schematic logic

DOI10.12775/LLP.2020.021MaRDI QIDQ5013623zbMATH OpenOpenAlexFDO

Authors Oliver William Tatton-Brown

Publication date 2 December 2021

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2020.021

zbMATH Keywords

completenesslogicnominalistschematic logicsemantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Semantics for the logic of essence
• Completeness and Herbrand theorems for nominal logic
• scientific article; zbMATH DE number 4089535
• Ontologically neutral logic
• Schemata: The Concept of Schema in the History of Logic

Cites work

• A Logic for Frege’s Theorem
• scientific article; zbMATH DE number 3710115 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 1092439 (Why is no real title available?)
• scientific article; zbMATH DE number 957946 (Why is no real title available?)
• Mathematical logic. A course with exercises. Part II. Recursion theory, Gödel's theorems, set theory, model theory. Translated from the 1993 French original by Donald H. Pelletier
• Mathematical thought and its objects
• Reflecting on incompleteness
• Understanding the infinite

Cited in

(7)

• Semantic trees for Dummett's logic LC
• Completeness for ancestral logic via a computationally-meaningful semantics
• Completeness proof by semantic diagrams for transitive closure of accessibility relation
• Schemata: The Concept of Schema in the History of Logic
• A Schemata Calculus for Propositional Logic
• The Smyth Completion
• On conceptual completeness of syntactic-semantical systems

This page was built for publication: Semantics and completeness for schematic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5013623)