#3813. A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of ?ukasiewicz’s 3-Valued Logic ?3
October 2026 | publication date |
Proposal available till | 08-06-2025 |
4 total number of authors per manuscript | 0 $ |
The title of the journal is available only for the authors who have already paid for |
|
|
Journal’s subject area: |
Philosophy;
Linguistics and Language |
Places in the authors’ list:
1 place - free (for sale)
2 place - free (for sale)
3 place - free (for sale)
4 place - free (for sale)
More details about the manuscript: Arts & Humanities Citation Index or/and Social Sciences Citation Index
Abstract:
A class of implicative expansions of Kleene’s 3-valued logic functionally including Lukasiewicz’s logic is defined. Several properties of this class and/or some of its subclasses are investigated. Properties contemplated include functional completeness for the 3-element set of truth-values, presence of natural conditionals, variable-sharing property (vsp) and vsp-related properties.
Keywords:
3-Valued logic; Functional completeness; Kleene’s strong 3-valued logic; Natural conditionals; Variable-sharing property
Contacts :