Filters
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics
We develop a Gentzen-style proof theory for super-Belnap logics (extensions of the four-valued Dunn–Belnap logic), expanding on an approach initiated by Pynko. We show that just like substructural logics may be understood p...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
VERY TRUE ON CBA FUZZY LOGIC
true" connective on fuzzy logics. The aim of the paper is to show possibilities of using vt-operators on commutative basic algebras, especially we show that CBA logicCBA logic was introduced as a non-associative g...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
An Algebraic View of Super-Belnap Logics
The Belnap–Dunn logic (also known as First Degree Entailment, or FDE) is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same langu...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
A True Unprovable Formula of Fuzzy Predicate Logic
We construct a formula true in all models of the product fuzzy predicate logic over the standard product algebra on the unit real interval but unprovable in the product fuzzy logic (and hence having truth value less than 1 ...
BA - Obecná matematika
- 2004 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Fuzzy Logic and Arithmetical Hierarchy III.
Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies (identically true sentences) and satisfiable sentences (sentences true in...
BA - Obecná matematika
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Free quantification in four-valued and fuzzy bilattice-valued logics
We introduce a variant of free logic (i.e., a logic admitting terms a suitable expansion of the Belnap-Dunn four-valued logic, we specify a dual-domain semantics for free logic, in which propositions containing non...
Pure mathematics
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Basic Fuzzy Logic and BL-Algebras II.
Three new (easy) results about the computational complexity of basic propositional fuzzy logic BL are presented. An important formula of predicate logic is shown 1-true in all interpretations over saturated BL-chains but is...
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Sublattices corresponding to very true operators in commutative basic algebras
We introduce the concept of very true operator on a commutative basic algebra in a way analogous to that for fuzzy logic. We prove that every such operator is fully determined by a certain relatively complete sublattice provided its...
BA - Obecná matematika
- 2014 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Has Quine really proved that the borderline between analytic and synthetic sentences is not exactly defined
As soon as we do logical analysis of natural language we can exactly distinguish analytic sentences from the synthetic (empirical) ones. Quine's criticism can be refuted because he has not accepted logical semantics and his...
AA - Filosofie a náboženství
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
On Very True.
The fuzzy truth value 'very true' is formalized as a unary connective (hedge). A complete axiomatization is presented.
BA - Obecná matematika
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 17 006