Results 41 to 50 of about 3,345 (227)

Remarks on an algebraic semantics for paraconsistent Nelson's logic

Manuscrito, 2011
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic.
Manuela Busaniche, Roberto Cignoli
doaj   +1 more source

Classical and Intuitionistic Subexponential Logics are Equally Expressive [PDF]

, 2010
International audienceIt is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented in the intuitionistic logic by double-negation, while
C. Liang, H. Schellinx, J.-M. Andreoli, J.-Y. Girard, K. Chaudhuri, K. Chaudhuri, V. Danos   +6 more
core   +5 more sources

Inconsistency, paraconsistency and ω-inconsistency [PDF]

, 2018
In this paper I'll explore the relation between ω-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I'll focus on two very well known inconsistent but non-trivial theories of truth:
Da Re, Bruno
core   +2 more sources

Basic Logic and Quantum Entanglement [PDF]

, 2006
As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up.
Battilotti G, Bell J S, Birkhoff G, Gentzen G, Jozsa R, Nielsen M A, P A Zizzi, Zizzi P   +7 more
core   +2 more sources

Classical BI: Its Semantics and Proof Theory [PDF]

, 2009
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI.
Alasdair Urquhart, Cristiano Calcagno, D. Galmiche, D. Mery, and D. Pym, D.J. Foulis and M.K. Bennett, David Pym, Peter O'Hearn, and Hongse, Greg Restall, Harold Schellinx, James Brotherston, Matthew Collinson, David Pym, and Edmund, Michael Dunn, Nick Benton, Nuel D. {Belnap, Jr., Peter W. O'Hearn and David J. Pym, Rajeev Goré, Richard Routley and Valerie Routley, Robert K. Meyer and Richard Routley, Robert K. Meyer and Richard Routley, Samson Abramsky   +17 more
core   +5 more sources

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency [PDF]

, 2014
We define a pi-calculus variant with a costed semantics where channels are treated as resources that must explicitly be allocated before they are used and can be deallocated when no longer required.
DeVries, Edsko, Francalanza, Adrian, Hennessy, Matthew   +2 more
core   +3 more sources

Weak consistency and strong paraconsistency

tripleC: Communication, Capitalism & Critique, 2009
In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj   +1 more source

Logics for modelling collective attitudes [PDF]

, 2017
We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social ...
Porello, Daniele
core   +2 more sources

COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

The Review of Symbolic Logic, 2022
AbstractWe present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points.
GREG RESTALL, SHAWN STANDEFER
openaire   +3 more sources

Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence

Logics
We present an extension and generalization of Sahlqvist–van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives.
Chrysafis Hartonas
doaj   +1 more source