Characterizing finite-valuedness

DOI10.1016/J.FSS.2017.10.014MaRDI QIDQ1795205zbMATH OpenOpenAlexFDO

Authors Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio

Publication date 16 October 2018

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2017.10.014

zbMATH Keywords

cancellationfinite-determinednessfinite-valuednesslocal finitenesslocal tabularitylogical matrix semanticsmany-valuednessstrong finiteness

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Equality of consequence relations in finite-valued logical matrices
• Characterizing logical consequence in many-valued logic
• scientific article; zbMATH DE number 3920436
• Labeled calculi and finite-valued logics
• Effective Finite-Valued Approximations of General Propositional Logics

Cites work

• 3088 varieties: A solution to the Ackermann constant problem
• Abstract algebraic logic. An introductory textbook
• Algebraic foundations of many-valued reasoning
• Algebraizable logics
• Algebras and their subalgebras
• Belnap's Four-Valued Logic and De Morgan Lattices
• Decidability and complexity of fibred logics without shared connectives
• Deducibility and many-valuedness
• Extendible formulas in two variables in intuitionistic logic
• Gödel algebras free over finite distributive lattices
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 3315184 (Why is no real title available?)
• Locally tabular locally finite
• Logics of varieties, logics of semilattices and conjunction
• Matrix approach in methodology of sentential calculi
• Metamathematics of fuzzy logic
• Protoalgebraic logics
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics
• The simplest protoalgebraic logic
• Theory of logical calculi. Basic theory of consequence operations
• Universal algebra. Fundamentals and selected topics
• What is a non-truth-functional logic?

Cited in

(14)

• Compositional meaning in logic
• Locally tabular locally finite
• Non-distributive relatives of ETL and NFL
• Containment logics: algebraic completeness and axiomatization
• An unexpected Boolean connective
• Combining fragments of classical logic: when are interaction principles needed?
• Equality of consequence relations in finite-valued logical matrices
• scientific article; zbMATH DE number 6703589 (Why is no real title available?)
• Plug and Play Negations
• A characterization of first-order lattice-valued logic with the lattice being finite, complemented and having a strong character formula
• The value of the one value: \textit{exactly true logic} revisited
• Axiomatizing non-deterministic many-valued generalized consequence relations
• A Gödel-Dugundji-style theorem for the minimal structural logic
• Some more theorems on structural entailment relations and non-deterministic semantics

This page was built for publication: Characterizing finite-valuedness

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