Automated Deduction in Gödel Logic
Abstract
Supplementary Material
- Download
- 855.01 KB
References
Recommendations
Gödel logics with monotone operators
We consider the extension of Gödel logic by a unary operator interpreted by functions on the unit interval with certain monotonicity properties. We prove that validity of propositional formulas is decidable by giving a sound and complete proof system ...
Hyperresolution for Gödel logic with truth constants
AbstractIn the paper, we generalise the well-known hyperresolution principle to the general first-order Gödel logic with explicit partial truth. We propose a hyperresolution calculus suitable for automated deduction in a useful expansion of ...
Strengthening Brady's Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators
ukasiewicz presented two different analyses of modal notions by means of many-valued logics: (1) the linearly ordered systems 3,..., [InlineEquation not available: see fulltext.] ,..., $$\hbox {L}_{\omega }$$L ; (2) the 4-valued logic he defined in the ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 130Total Downloads
- Downloads (Last 12 months)6
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in