On Two Fragments With Negation and Without Implication of the Logic of Residuated Lattices

Archive for Mathematical Logic - United States
doi 10.1007/s00153-005-0324-9
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Residuated Lattices

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1939English

Vague Filters of Residuated Lattices

Journal of Discrete Mathematics
2014English

The Relations Among Fuzzyt-Filters on Residuated Lattices

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2014English

Folding Theory Applied to Residuated Lattices

International Journal of Mathematics and Mathematical Sciences
Mathematics
2014English

The Alternating Fixpoint of Logic Programs With Negation

1989English

Algebraic Structure of Square Matrices Over Residuated Lattices

Communications Faculty Of Science University of Ankara Series A1Mathematics and Statistics
2019English

Paraconsistent Negation and Classical Negation in Computation Tree Logic

2010English

Optimised ExpTime Tableaux for𝒮ℋℐ𝒩over Finite Residuated Lattices

Journal of Applied Mathematics
Applied Mathematics
2014English

Paraconsistent Logic and Weakening of Intuitionistic Negation

Journal of Intelligent Systems
Information SystemsArtificial IntelligenceSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy