7 citations · 32 across the 13 of their papers we have counts for
13 papers
Data Base Mappings and Theory of Sketches
Zoran Majkic
In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functoria…
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…