Results 21 to 30 of about 751,168 (306)

A post-style proof of completeness theorem for symmetric relatedness Logic S [PDF]

, 2018
One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem ...
Klonowski, Mateusz
core   +1 more source

Residuated Basic Logic [PDF]

, 2023
Residuated basic logic (RBL) is the logic of residuated basic algebras, which constitutes a conservative extension of basic propositional logic (BPL). The basic implication is a residual of a non-associative binary operator in RBL.
Minghui Ma, Zhe Lin
core   +1 more source

Amortised resource analysis with separation logic [PDF]

, 2010
Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Robert Atkey, Atkey, Robert
core   +1 more source

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 [PDF]

, 2017
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.
Ciuciura, Janusz
core   +1 more source

Term Logic [PDF]

, 2020
The predominant form of logic before Frege, the logic of terms has been largely neglected since. Terms may be singular, empty or plural in their denotation.
Peter Simons
core   +1 more source

On Argumentation Logic and Propositional Logic [PDF]

Studia Logica, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kakas, Antonis C., Mancarella, Paolo, Toni, Francesca, Kakas, Antonis C., Mancarella, Paolo, Toni, Francesca   +5 more
openaire   +4 more sources

Completeness for game logic [PDF]

, 2019
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-player games.
Johannes Marti, Kupke, Clemens (author), Sebastian Enqvist, Venema, Yde (author), Clemens Kupke, Yde Venema, Hansen, Helle Hvid, Enqvist, Sebastian, Enqvist, Sebastian (author), Venema, Y., Hansen, H.H., Kupke, C., Marti, J., Kupke, Clemens, Venema, Yde, Hansen, H.H. (author), Marti, Johannes (author), Marti, Johannes, Helle Hvid Hansen, Enqvist, S.   +19 more
core   +1 more source

Where is Logic Going, and Should It? [PDF]

, 2005
Modern logic is about information flow and communication far beyond its traditional agenda of inference and meaning. This makes it a player at a central academic interface between many disciplines, where normative and descriptive stances, often thought ...
van Benthem, J., van Benthem, J.F.A.K.
core   +1 more source

Minimal Systems of Temporal Logic [PDF]

, 2020
The article discusses minimal temporal logic systems built on the basis of classical logic as well as intuitionistic logic. The constructions of these systems are discussed as well as their basic properties.
Dariusz Surowik
core   +1 more source

Quantum logic as a dynamic logic [PDF]

Synthese, 2010
The authors argue that quantum mechanics does not require abandoning the principles of classical logic. Their argument is based on combining a formal semantic approach understood as an investigation of ``the logic of yes-no experiments'', following their papers [Int. J. Theor. Phys. 44, No. 12, 2267--2282 (2005; Zbl 1110.81013); Stud. Log. 89, No.
Alexandru Baltag, Sonja Smets
openaire   +4 more sources