Classes of valuations closed under operations Galois-dual to Boolean sentence connectives

DOI10.2977/prims/1195163180zbMath0873.03004OpenAlexW1975122269MaRDI QIDQ1922666

Lloyd Humberstone

Publication date: 26 October 1997

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195163180

zbMATH Keywords

sentential logicvaluationsconsequence relationfunctional dependencysupervenienceBoolean connectivesclosure under operationsGalois connexiontruth-value assignments

Mathematics Subject Classification ID

Database theory (68P15) Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (8)

On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ Variation on a trivialist argument of Paul Kabay ⋮ The modal logic of agreement and noncontingency ⋮ Priest on Negation ⋮ Valuations: bi, tri, and tetra ⋮ Supervenience, Dependence, Disjunction ⋮ A modal logic of supervenience ⋮ Idempotent variations on the theme of exclusive disjunction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantic holism
• Generalized equivalence: A pattern of mathematical expression
• Independent axiomatizability of sets of sentences
• Functional dependencies, supervenience, and consequence relations
• Zero-place operations and functional completeness, and the definition of new connectives
• ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
• Uniqueness, definability and interpolation
• Some old and new problems in the independence theory
• Rules and Derived Rules
• What is a Classical Connective?
• A study of some ‘separated’ conditions on binary relations
• Galois Connexions
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

This page was built for publication: Classes of valuations closed under operations Galois-dual to Boolean sentence connectives