On Product Logic with Truth-constants
From MaRDI portal
Publication:5477455
Recommendations
- On the Products of Linear Modal Logics
- Provability in predicate product logic
- Complexity of products of modal logics
- A complete many-valued logic with product-conjunction
- Analytic calculi for product logics
- scientific article; zbMATH DE number 1526147
- scientific article; zbMATH DE number 3292849
- Products of ‘transitive” modal logics
- SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC
- Reduced products and nonstandard logics
Cited in
(29)- scientific article; zbMATH DE number 1526147 (Why is no real title available?)
- SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC
- Product logic and probabilistic Ulam games
- Axiomatizations of standard algebras for fuzzy PC by use of truth constants
- Triangular norm based predicate fuzzy logics
- What is mathematical fuzzy logic
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Perfect Pavelka logic
- On expansions of WNM t-norm based logics with truth-constants
- Reasoning about mathematical fuzzy logic and its future
- Structural completeness in many-valued logics with rational constants
- Hyperresolution for Gödel logic with truth constants
- Rational Pavelka logic: the best among three worlds?
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
- A Note on Drastic Product Logic
- Possibilistic conditioning framed in fuzzy logics
- Product of partition logics, orthoalgebras, and automata
- Ł\(\Pi\) logic with fixed points
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Embedding logics into product logic
- Fuzzy sets and formal logics
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- scientific article; zbMATH DE number 7441358 (Why is no real title available?)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Expanding basic fuzzy logic with truth constants for component delimiters
- On modal extensions of product fuzzy logic
This page was built for publication: On Product Logic with Truth-constants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477455)
