Hyperresolution for Gödel logic with truth constants
From MaRDI portal
Publication:2328910
DOI10.1016/j.fss.2018.09.008zbMath1423.03080OpenAlexW2891547273MaRDI QIDQ2328910
Publication date: 16 October 2019
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2018.09.008
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the structure of semi-groups on a compact manifold with boundary
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- On the refutational completeness of signed binary resolution and hyperresolution
- A structure-preserving clause form translation
- An optimality result for clause form translation
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
- On expansions of WNM t-norm based logics with truth-constants
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- A Generalisation of the Hyperresolution Principle to First Order Gödel Logic
- Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability
- On modal extensions of Product fuzzy logic
- Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
- Ordered chaining calculi for first-order theories of transitive relations
- A Resolution Mechanism for Prenex Gödel Logic
- On Fuzzy Logic I Many‐valued rules of inference
- Rewrite-based Equational Theorem Proving with Selection and Simplification
- Short Conjunctive Normal Forms in Finitely Valued Logics
- GRASP: a search algorithm for propositional satisfiability
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
- On Product Logic with Truth-constants
- A Machine-Oriented Logic Based on the Resolution Principle
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
This page was built for publication: Hyperresolution for Gödel logic with truth constants
