Abstract valuation semantics

DOI10.1007/S11225-013-9495-2zbMATH Open1284.03283OpenAlexW2087704413MaRDI QIDQ368484FDOQ368484

Authors: Carlos Caleiro, Ricardo Gonçalves 

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

Recommendations

• Towards a Behavioral Algebraic Theory of Logical Valuations
• Behavioral algebraization of logics
• Algebraic Valuations as Behavioral Logical Matrices
• Inherited extension of many-sorted theories
• scientific article
• A many-sorted polyadic modal logic
• On the Algebraization of Many-Sorted Logics
• The universal theory of first order algebras and various reducts
• scientific article; zbMATH DE number 834570
• scientific article

zbMATH Keywords

matrix semanticsalgebraization of logicsvaluation semantics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• On combined connectives
• Algebraic Valuations as Behavioral Logical Matrices
• Title not available (Why is that?)
• Compositional meaning in logic
• Abstract algebraic logic. An introductory chapter

This page was built for publication: Abstract valuation semantics

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