A Logic With Higher Order Probabilities
Zoran Ognjanović, Miodrag Rašković (1996)
Publications de l'Institut Mathématique
Similarity:
Displaying similar documents to “A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers”
A Logic With Higher Order Probabilities
Completeness Theorem for a Monadic Logic with Both First-order and Probability Quantifiers
Miodrag Rašković, Predrag Tanović (1990)
Publications de l'Institut Mathématique
Similarity:
An intuitionistic logic with probablistic operators.
Marković, Zoran, Ognjanović, Zoran, Rašković, Miodrag (2003)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
A Logic of Approximate Reasoning
Miodrag Rašković, Radosav Đorđević, Zoran Marković (2001)
Publications de l'Institut Mathématique
Similarity:
The conjunction of a particular form of majority logic functions and some of its properties
R. Kulesza (1970)
Applicationes Mathematicae
Similarity:
Logic and the foundations of mathematics in Lvov (1900-1939)
Jan Woleński (2009)
Banach Center Publications
Similarity:
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
Janusz Ciuciura (2017)
Bulletin of the Section of Logic
Similarity:
In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.
Aleksandar Kron in Relevance Logic
Slobodan Vujošević (2012)
Review of the National Center for Digitization
Similarity:
Logics that are both paraconsistent and paracomplete
Newton C.A. da Costa (1989)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
The Author describes new systems of logic (called "nonalethic") which are both paraconsistent and paracomplete. These systems are connected with the logic of vagueness and with certain philosophical problems (e.g. with some aspects of Hegel's logic).
Positive logic with double negation.
Božić, Milan (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
A Proof Procedure for the First Order Logic
Miodrag Kapetanović, Aleksandar Krapež (1989)
Publications de l'Institut Mathématique
Similarity: