Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

DOI10.1007/978-3-642-00665-4_15MaRDI QIDQ3623837zbMATH OpenOpenAlexFDO

Authors Alexei Y. Muravitsky

Publication date 24 April 2009

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00665-4_15

zbMATH Keywords

completeness theoremlogical friendlinesssatisfiabilitystrong compactness property

Mathematics Subject Classification ID

Classical propositional logic (03B05) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Satisfaction relations for proper classes: applications in logic and set theory
• scientific article; zbMATH DE number 1463256
• Axiomatizing epistemic logic of friendship via tree sequent calculus
• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth
• scientific article; zbMATH DE number 1431908
• An intuitionistic characterization of classical logic
• scientific article; zbMATH DE number 1538057
• Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
• scientific article; zbMATH DE number 150218
• Satisfiability calculus: the semantic counterpart of a proof calculus in general logics

Cited in

(5)

• On nonmonotonic consequence relations
• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth
• scientific article; zbMATH DE number 5917718 (Why is no real title available?)
• scientific article; zbMATH DE number 5316610 (Why is no real title available?)
• scientific article; zbMATH DE number 2196616 (Why is no real title available?)

This page was built for publication: Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

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