Completeness of Minimal Positional Calculus

Jarmużek, Tomasz; Pietruszczak, Andrzej

doi:10.12775/llp.2004.009

Cited by 13 publications

(24 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As it has been just mentioned, the system MR comes from Tomasz Jarmużek and Andrzej Pietruszczak [2]. The letter "M" in "MR" stands for "minimal".…”

Section: The System Mrmentioning

confidence: 99%

“…Generally, realization or occurence at a point is considered in positional logic, instead of mere occurence. In 2004 Tomasz Jarmużek and Andrzej Pietruszczak examined a very weak and very general positional calculus MR [2]. The system is designed to be the minimal one which allows to prove that the connective of realization is distributive over all classical connectives.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Negation in weak positional calculi

Tkaczyk

2013

LLP

View full text Add to dashboard Cite

Abstract. Four weak positional calculi are constructed and examined. They refer to the use of the connective of negation within the scope of the positional connective "R" of realization. The connective of negation may be fully classical, partially analogical or independent from the classical, truthfunctional negation. It has been also proved that the strongest system, containing fully classical connective of negation, is deductively equivalent to the system MR from Jarmużek and Pietruszczak.

show abstract

“…As it has been just mentioned, the system MR comes from Tomasz Jarmużek and Andrzej Pietruszczak [2]. The letter "M" in "MR" stands for "minimal".…”

Section: The System Mrmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Negation in weak positional calculi

Tkaczyk

2013

LLP

View full text Add to dashboard Cite

show abstract

“…Yet realization does not need to be understood temporally: 'R' may instead stand for some epistemic, spatial, deontic, or other connective of natural language. Logics containing the connective of realization, irrespective of interpretation, are usually known as topological [6], locative [1] or positional [2] logics.…”

Section: Introductionmentioning

confidence: 99%

Maximality of the Minimal R-Logic

Karczewska

2017

LLP

View full text Add to dashboard Cite

show abstract

“…The author presents the basics of modal logic: the notion of a Kripke model, local and global truth, validity and the relation of semantic consequence. The reader can also find some 1 Happily, Łoś's early work has been rediscovered and developed in recent publications. In [1], the minimal logic of realisation inspired by the Łoś's operator is given a semantic interpretation.…”

mentioning

confidence: 99%

“…The reader can also find some 1 Happily, Łoś's early work has been rediscovered and developed in recent publications. In [1], the minimal logic of realisation inspired by the Łoś's operator is given a semantic interpretation. Also worth noticing is the book [2], where ideas from [1] are extended, initiating some perspectives on systematic research in the field of positional logic.…”

mentioning

confidence: 99%

Fibring Epistemic and Temporal Logics

Krawczyk

2019

LLP

View full text Add to dashboard Cite

Logika, wiedza i czas. Problemy i metody temporalno-logicznej reprezentacji wiedzy (Logic, Knowledge and Time. Problems and Methods of Temporal-Logical Representation of Knowledge), Wydawnictwo Uniwersytetu w Białymstoku, Białystok 2013, 357 pages, ISBN 978-83-7431-375-9.The book under review is written in Polish by the logician Dariusz Surowik. Its title Logika, Wiedza i Czas. Problemy i metody temporalnologicznej reprezentacji wiedzy can be translated into English in the following way: "Logic, knowledge and time. Problems and methods of temporal-logical representation of knowledge." As its title suggests, it covers topics from the disciplines of temporal and epistemic logic. It also concerns the issue of fibring logics in a more general form. The book may be seen as something in between a monograph and a textbook. Its rather narrow and specific field of interest (systems of temporal epistemic logic) should alert the reader that he is dealing with a highly specialized monograph. This said, the material contained in the book progresses smoothly, so the reader isn't overwhelmed with complicated formalisms and results right away. Starting form the basics, the author introduces some fundamentals of modal logic which makes the book accessible for non-logicians who are motivated to acquire high-quality information in the field of epistemic and temporal logic. Nonetheless, some familiarity with basic set theoretical notions and classical logic is needed for a full understanding. Its rich, mainly English bibliography supports the claim that the book is a very good, up-to-date coverage of modern epistemic,

show abstract

Completeness of Minimal Positional Calculus

Cited by 13 publications

References 0 publications

Negation in weak positional calculi

Negation in weak positional calculi

Maximality of the Minimal R-Logic

Fibring Epistemic and Temporal Logics

Contact Info

Product

Resources

About