On Product Logic with Truth-constants
From MaRDI portal
Publication:5477455
DOI10.1093/LOGCOM/EXI075zbMATH Open1102.03030OpenAlexW2103135708MaRDI QIDQ5477455FDOQ5477455
Roberto Cignoli, Francesc Esteva, Carles Noguera, Petr Savický, Lluís Godo
Publication date: 3 July 2006
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/4d90c0384f27a0c2505e469579b2bc0353e9832f
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 (27)
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Reasoning about mathematical fuzzy logic and its future
- Possibilistic conditioning framed in fuzzy logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Product of partition logics, orthoalgebras, and automata
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable
- Product logic and probabilistic Ulam games
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Title not available (Why is that?)
- Expanding basic fuzzy logic with truth constants for component delimiters
- Title not available (Why is that?)
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Axiomatizations of standard algebras for fuzzy PC by use of truth constants
- On expansions of WNM t-norm based logics with truth-constants
- Rational Pavelka logic: the best among three worlds?
- Triangular norm based predicate fuzzy logics
- What is mathematical fuzzy logic
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC
- Perfect Pavelka logic
- Structural completeness in many-valued logics with rational constants
- Hyperresolution for Gödel logic with truth constants
- A Note on Drastic Product Logic
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Fuzzy sets and formal logics
- Embedding logics into product 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)
