A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers

Miodrag Rašković

Displaying similar documents to “A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers”

A Logic With Higher Order Probabilities

Zoran Ognjanović, Miodrag Rašković (1996)

Publications de l'Institut Mathématique

Similarity:

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: