Elements of Fuzzy Propositional Logic with a Finite Set of Truth Values

2022 ◽  
pp. 131-152
Author(s):  
Mircea Reghiş ◽  
Eugene Roventa
Keyword(s):  
Propositional Logic ◽  
Truth Values ◽  
Finite Set

A Mathematical Setting for Fuzzy Logics

1997 ◽  
Vol 05 (03) ◽  
pp. 223-238 ◽  
Author(s):  
Mai Gehrke ◽  
Carol Walker ◽  
Elbert Walker
Keyword(s):  
Fuzzy Logic ◽  
Propositional Logic ◽  
Normal Forms ◽  
Unit Interval ◽  
Fuzzy Logics ◽  
Real Numbers ◽  
Truth Values ◽  
Finite Algebras ◽  
Finite Algorithms ◽  
Interval Valued

The setup of a mathematical propositional logic is given in algebraic terms, describing exactly when two choices of truth value algebras give the same logic. The propositional logic obtained when the algebra of truth values is the real numbers in the unit interval equipped with minimum, maximum and -x=1-x for conjunction, disjunction and negation, respectively, is the standard propositional fuzzy logic. This is shown to be the same as three-valued logic. The propositional logic obtained when the algebra of truth values is the set {(a, b)|a≤ b and a,b∈[0,1]} of subintervals of the unit interval with component-wise operations, is propositional interval-valued fuzzy logic. This is shown to be the same as the logic given by a certain four element lattice of truth values. Since both of these logics are equivalent to ones given by finite algebras, it follows that there are finite algorithms for determining when two statements are logically equivalent within either of these logics. On this topic, normal forms are discussed for both of these logics.

scholarly journals The structure of first-order causality

2011 ◽  
Vol 21 (1) ◽  
pp. 65-110 ◽  
Author(s):  
SAMUEL MIMRAM
Keyword(s):  
Programming Languages ◽  
Propositional Logic ◽  
Monoidal Category ◽  
Denotational Semantics ◽  
Generators And Relations ◽  
First Order ◽  
Game Semantics ◽  
Finite Set ◽  
Categorical Algebra ◽  
Interactive Behaviour

Game semantics describe the interactive behaviour of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing dependencies induced by quantifications in first-order propositional logic. One of the main difficulties that has to be faced during the elaboration of this kind of semantics is to characterise definable strategies, that is, strategies that actually behave like a proof. This is usually done by restricting the model to strategies satisfying subtle combinatorial conditions, whose preservation under composition is often difficult to show. In this paper we present an original methodology to achieve this task, which requires a combination of advanced tools from game semantics, rewriting theory and categorical algebra. We introduce a diagrammatic presentation of the monoidal category of definable strategies of our model using generators and relations: these strategies can be generated from a finite set of atomic strategies, and the equality between strategies admits a finite axiomatisation, and this equational structure corresponds to a polarised variation of the bialgebra notion. The work described in this paper thus forms a bridge between algebra and denotational semantics in order to reveal the structure of dependencies induced by first-order quantifiers, and lays the foundations for a mechanised analysis of causality in programming languages.

scholarly journals The Propositional Logic of Frege’s Grundgesetze: Semantics and Expressiveness

2017 ◽  
Vol 5 (6) ◽  
Author(s):  
Eric D. Berg ◽  
Roy T. Cook
Keyword(s):  
Propositional Logic ◽  
Truth Values ◽  
Logical Operators ◽  
The Way

In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views.

scholarly journals Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity

2021 ◽  
pp. 41-57
Author(s):  
Joanna Golińska-Pilarek ◽  
Taneli Huuskonen ◽  
Michał Zawidzki
Keyword(s):  
Propositional Logic ◽  
Decision Procedure ◽  
Classical Propositional Logic ◽  
Complexity Bound ◽  
Sentential Calculus ◽  
Truth Values

AbstractSentential Calculus with Identity ($$\mathsf {SCI}$$ SCI ) is an extension of classical propositional logic, featuring a new connective of identity between formulas. In $$\mathsf {SCI}$$ SCI two formulas are said to be identical if they share the same denotation. In the semantics of the logic, truth values are distinguished from denotations, hence the identity connective is strictly stronger than classical equivalence. In this paper we present a sound, complete, and terminating algorithm deciding the satisfiability of $$\mathsf {SCI}$$ SCI -formulas, based on labelled tableaux. To the best of our knowledge, it is the first implemented decision procedure for $$\mathsf {SCI}$$ SCI which runs in NP, i.e., is complexity-optimal. The obtained complexity bound is a result of dividing derivation rules in the algorithm into two sets: decomposition and equality rules, whose interplay yields derivation trees with branches of polynomial length with respect to the size of the investigated formula. We describe an implementation of the procedure and compare its performance with implementations of other calculi for $$\mathsf {SCI}$$ SCI (for which, however, the termination results were not established). We show possible refinements of our algorithm and discuss the possibility of extending it to other non-Fregean logics.

Post, Emil Leon (1897–1954)

2018 ◽  
Author(s):  
Michael Scanlan
Keyword(s):  
Finite Number ◽  
Propositional Logic ◽  
Decision Procedures ◽  
Truth Table ◽  
Formal Language Theory ◽  
Theory Of Computation ◽  
Symbol Manipulation ◽  
Canonical Systems ◽  
Finite Set ◽  
And Mathematics

Emil Post was a pioneer in the theory of computation, which investigates the solution of problems by algorithmic methods. An algorithmic method is a finite set of precisely defined elementary directions for solving a problem in a finite number of steps. More specifically, Post was interested in the existence of algorithmic decision procedures that eventually give a yes or no answer to a problem. For instance, in his dissertation, Post introduced the truth-table method for deciding whether or not a formula of propositional logic is a tautology. Post developed a notion of ‘canonical systems’ which was intended to encompass any algorithmic procedure for symbol manipulation. Using this notion, Post partially anticipated, in unpublished work, the results of Gödel, Church and Turing in the 1930s. This showed that many problems in logic and mathematics are algorithmically unsolvable. Post’s ideas influenced later research in logic, computer theory, formal language theory and other areas.

scholarly journals Constructing illoyal algebra-valued models of set theory

2021 ◽  
Vol 82 (3) ◽  
Author(s):  
Benedikt Löwe ◽  
Robert Paßmann ◽  
Sourav Tarafder
Keyword(s):  
Set Theory ◽  
Propositional Logic ◽  
Truth Values ◽  
Models Of Set Theory

AbstractAn algebra-valued model of set theory is called loyal to its algebra if the model and its algebra have the same propositional logic; it is called faithful if all elements of the algebra are truth values of a sentence of the language of set theory in the model. We observe that non-trivial automorphisms of the algebra result in models that are not faithful and apply this to construct three classes of illoyal models: tail stretches, transposition twists, and maximal twists.

Functional completeness and canonical forms in many-valued logics1

1962 ◽  
Vol 27 (4) ◽  
pp. 409-422 ◽  
Author(s):  
William H. Jobe
Keyword(s):  
Functional Completeness ◽  
Canonical Forms ◽  
Infinite Class ◽  
Truth Values ◽  
Binary Operations ◽  
Finite Set

This paper examines the questions of functional completeness and canonical completeness in many-valued logics, offering proofs for several theorems on these topics.A skeletal description of the domain for these theorems is as follows. We are concerned with a proper logic L, containing a denumerably infinite class of propositional symbols, P, Q, R, …, a finite set of unary operations, U1, U2,…, Ub, and a finite set of binary operations, B1, B2, …, Bc. Well-formed formulas in L are recursively defined by the conventional set of rules. With L there is associated an integer, M ≧ 2, and the integers m, where (1 ≦m≦M), are the truth values of L.

scholarly journals Classical Logic with n Truth Values as a Symmetric Many-Valued Logic

2020 ◽  
Author(s):  
A. Salibra ◽  
A. Bucciarelli ◽  
A. Ledda ◽  
F. Paoli
Keyword(s):  
Classical Logic ◽  
Propositional Logic ◽  
Propositional Calculus ◽  
Boolean Algebras ◽  
Truth Values ◽  
First Order ◽  
Rewriting System ◽  
Central Elements ◽  
Algebraic Framework ◽  
Classical Propositional Calculus

Abstract We introduce Boolean-like algebras of dimension n ($$n{\mathrm {BA}}$$ n BA s) having n constants $${{{\mathsf {e}}}}_1,\ldots ,{{{\mathsf {e}}}}_n$$ e 1 , … , e n , and an $$(n+1)$$ ( n + 1 ) -ary operation q (a “generalised if-then-else”) that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of $$n{\mathrm {BA}}$$ n BA s share many remarkable properties with the variety of Boolean algebras and with primal varieties. The $$n{\mathrm {BA}}$$ n BA s provide the algebraic framework for generalising the classical propositional calculus to the case of n–perfectly symmetric–truth-values. Every finite-valued tabular logic can be embedded into such a n-valued propositional logic, $$n{\mathrm {CL}}$$ n CL , and this embedding preserves validity. We define a confluent and terminating first-order rewriting system for deciding validity in $$n{\mathrm {CL}}$$ n CL , and, via the embeddings, in all the finite tabular logics.

On Słupecki T-functions

1958 ◽  
Vol 23 (3) ◽  
pp. 267-270 ◽  
Author(s):  
Trevor Evans ◽  
P. B. Schwartz
Keyword(s):  
Propositional Logic ◽  
Value Function ◽  
Truth Values ◽  
Truth Value ◽  
The Many

In [2] E. L. Post defined a many-valued propositional logic to be functionally complete if, for every function on the set of truth-values, there exists a formula of the logic having that function as its associated truth-value function. He proved that the logic with truth-values 1, 2, …, m and (i) a unary connective ∼ such that ∼p has truth-value i+1 (mod m) when p has truth-value i, (ii) a binary connective ∨ such that p ∨ q has truth-value min(i, j) when p, q have truth-values i, j respectively, is functionally complete.The many-valued logics described by Łukasiewicz and Tarski [1] are not functionally complete. These logics have truth-values 1, 2, …, m and (i) a unary connective ~ such that ~p has truth-value m−i+1 when p has truth-value i, (ii) a binary connective → such that if p, q have truth-values i, j respectively, then p → q has truth-value 1 for i ≧ j, and truth-value 1 for i ≧ j. The functional incompleteness of these logics is immediate, since there exists no formula in p having truth-value i (≠ 1 or m) when p has truth-value 1.In [4] Słupecki showed that if a new unary connective T, such that T(p) has truth-value 2 for all truth-values assigned to p, is added to the 3-valued Łukasiewicz-Tarski logic, then the resulting logic is functionally complete. In [3] Rosser and Turquette proved this result for the m-valued (m ≧ 3) logic.

A theorem concerning the composition of functions of several variables ranging over a finite set

1960 ◽  
Vol 25 (3) ◽  
pp. 203-208 ◽  
Author(s):  
Arto Salomaa
Keyword(s):  
Natural Numbers ◽  
Number Range ◽  
Truth Values ◽  
Several Variables ◽  
Finite Set ◽  
Composition Of Functions

Consider functions whose variables, finite in number, range over a fixed finite set N and whose values are elements of N. The elements of N are denoted simply by the natural numbers 1,2, …, n. There are nnm distinct m-place functions. If N is chosen to be the set of n truth-values then the functions considered are obviously truth-functions in n-valued logic.

Sign in / Sign up

Export Citation Format

Share Document