Abstract valuation semantics

DOI10.1007/s11225-013-9495-2zbMath1284.03283OpenAlexW2087704413MaRDI QIDQ368484

Ricardo Gonçalves, Carlos Caleiro

Publication date: 23 September 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-013-9495-2

zbMATH Keywords

matrix semanticsalgebraization of logicsvaluation semantics

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items (3)

Compositional meaning in logic ⋮ Abstract algebraic logic. An introductory chapter ⋮ On combined connectives

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Behavioural theories and the proof of behavioural properties
• Behavioral abstraction is hiding information
• Behavioral algebraization of logics
• Taking degrees of truth seriously
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• Some theorems on structural consequence operations
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• A survey of abstract algebraic logic
• A hidden agenda
• Closure properties for the class of behavioral models
• On quasi-varieties of multiple valued logic models
• Towards a Behavioral Algebraic Theory of Logical Valuations
• Algebraic Valuations as Behavioral Logical Matrices
• Algebraizable logics
• Classical negation can be expressed by one of its halves
• Behavioural reasoning for conditional equations
• Constructible falsity
• Protoalgebraic logics

This page was built for publication: Abstract valuation semantics