Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
From MaRDI portal
Publication:2457027
DOI10.1016/j.fss.2007.05.004zbMath1125.03020MaRDI QIDQ2457027
Publication date: 29 October 2007
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2007.05.004
topology; compactness theorem; Cantor space; nilpotent minimum logic; deductive closure; \({R}_0\)-algebra; formal deductive system \(\mathcal{L}^{*}\); maximal consistent theory; satisfiability theorem
Related Items
STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES, Borel probabilistic and quantitative logic, Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras, Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras), Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic), Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem
Cites Work
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
- The completeness and applications of the formal system \(\mathcal L^\ast\)
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A formal deductive system for fuzzy propositional calculus
- On equivalent forms of fuzzy logic systems NM and IMTL
- Triple I method of fuzzy reasoning
- Formalized theory of general fuzzy reasoning.
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- \(R _{0}\) implication: Characteristics and applications
- A triangular-norm-based propositional fuzzy logic
- A characterization of truth-functions in the nilpotent minimum logic
- On the logic foundation of fuzzy reasoning
- Unified forms of Triple I method
- Simplification and independence of axioms of fuzzy logic systems IMTL and NM
- Undefinability of min-conjunction in MTL
- On modal logic of deductive closure
- Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Free nilpotent minimum algebras
- On Some Varieties of MTL-algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item