7 citations · 32 across the 13 of their papers we have counts for
8 papers · 1 filter
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
Zoran Majkic
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new \emph{binary…
Temporal Probabilistic Logic Programs: State and Revision
Zoran Majkic
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for va…
Intensionality and Two-steps Interpretations
Zoran Majkic
In this paper we considered the extension of the First-order Logic (FOL) by Bealer's intensional abstraction operator. Contemporary use of the term 'intension' derives from the tra…
Reduction of Many-valued into Two-valued Modal Logics
Zoran Majkic
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextualization of many-valued logics with…
First-order Logic: Modality and Intensionality
Zoran Majkic
Contemporary use of the term 'intension' derives from the traditional logical Frege-Russell's doctrine that an idea (logic formula) has both an extension and an intension. From the…
Probabilistic Logic: Many-valuedness and Intensionality
Zoran Majkic
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computatio…