Searching for authors named "George Metcalfe" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Fuzzy Logics / Substructural Logics
- …Roughly speaking... • Fuzzy logics have truth values in [0, 1] and connectives interpreted by real-valued functions. • Substructural logics are obtained by removing/adding structural rules in Gentzen systems.... but are fuzzy logics substructural? t-Norm Fuzzy Logics The best known fuzzy logics have…
- Add To MetaCart
-
Łukasiewicz logic: From proof systems to logic programming
- …We present logic programming style “goal-directed ” proof methods for ̷Lukasiewicz logic ̷L that both have a logical interpretation, and provide a suitable basis for implementation. We introduce a basic version, similar to goal-directed calculi for other logics, and make refinements to improve effic…
- Cited by 1 (1 self) – Add To MetaCart
-
Density Elimination and Rational Completeness for First-Order Logics
- …Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi. For a large class of calculi, density elimination by this method is guaranteed by known sufficient conditions for cut-el…
- Cited by 1 (1 self) – Add To MetaCart
-
Density Elimination
- …Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) calculi. Its most important use is as a crucial step in establishing standard completeness for syntactic presentations of fu…
- Add To MetaCart
-
Sequent and Hypersequent Calculi for Abelian and Łukasiewicz Logics
- …We present two embeddings of infinite-valued ̷Lukasiewicz logic ̷L into Meyer and Slaney’s abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for ̷L. These include: hypersequent calculi for A a…
- Cited by 15 (6 self) – Add To MetaCart
-
Adding Modalities to MTL and its Extensions
- …Abstract. Monoidal t-norm logic MTL and related fuzzy logics are extended with various modalities distinguished by the axiom �(A ∨ B) → (�A ∨ �B). Such modalities include Linear logic-like exponentials, the globalization (or Delta) operator, and truth stressers like “very true”. Extensions of MTL w…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
