Two traditions in abstract valuational model theory

DOI10.1007/s11229-019-02447-8zbMath1525.03099OpenAlexW2990669647WikidataQ126769914 ScholiaQ126769914MaRDI QIDQ6088600

David Ripley, Rohan French

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-019-02447-8

zbMATH Keywords

many-valued logic\(q\)-consequence\(p\)-consequencevaluational model theory

Mathematics Subject Classification ID

Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• Completeness and super-valuations
• Blurring: an approach to conflation
• Power structures
• Valuations: bi, tri, and tetra
• An Inferentially Many-Valued Two-Dimensional Notion of Entailment
• Galois Connexions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Two traditions in abstract valuational model theory