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

zbMATH Open1273.03032MaRDI QIDQ2856063FDOQ2856063

Authors: Andrea Strollo 

Publication date: 23 October 2013

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
• Publication:4487377
• 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

zbMATH Keywords

truthaxiomatic theories of truthconservativityexpansionssatisfaction classes

Mathematics Subject Classification ID

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

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)