A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth

MaRDI QIDQ2856063zbMATH OpenFDO

Authors Andrea Strollo

Publication date 23 October 2013

zbMATH Keywords

truthaxiomatic theories of truthconservativityexpansionssatisfaction classes

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 1357427
• Satisfaction relations for proper classes: applications in logic and set theory
• Publication:4722028
• scientific article; zbMATH DE number 1907113
• scientific article; zbMATH DE number 1823848
• scientific article; zbMATH DE number 1463256
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
• Notes on models of (partial) Kripke-Feferman truth
• Satisfiability versus Finite Satisfiability in Elementary Modal Logics
• Satisfiability vs. finite satisfiability in elementary modal logics

Cited in

(5)

• Classes and truths in set theory
• Deflationary truth and pathologies
• The expressive power of truth
• Satisfaction relations for proper classes: applications in logic and set theory
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

This page was built for publication: A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth

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