Proof theory of fuzzy logics: Urquhart's C and related logics
We investigate the proof theory of Urquhart's C and other logics underlying the most
prominent fuzzy logics, such as Gödel, Product, and łukasiewicz logic. All these logics share …
prominent fuzzy logics, such as Gödel, Product, and łukasiewicz logic. All these logics share …
Kripke semantics for intuitionistic Łukasiewicz logic
This paper proposes a generalization of the Kripke semantics of intuitionistic logic IL
appropriate for intuitionistic Łukasiewicz logic IŁL—a logic in the intersection between IL and …
appropriate for intuitionistic Łukasiewicz logic IŁL—a logic in the intersection between IL and …
[PS][PS] Residuated lattices
We set out to present some recent developments in the theory of residuated lattices. As
such, our task is entirely algebraic in nature, and indeed algebraic methods will be used …
such, our task is entirely algebraic in nature, and indeed algebraic methods will be used …
On Urquhart's C logic
A Ciabattoni - … 30th IEEE International Symposium on Multiple …, 2000 - ieeexplore.ieee.org
In this paper we investigate the basic many-valued logics introduced by Urquhart (1986),
here referred to as C and C/sub new/, respectively. We define a cut-free hyper-sequent …
here referred to as C and C/sub new/, respectively. We define a cut-free hyper-sequent …
Intuitionistic propositional Logic without'contraction'but with'reductio'
Routley-Meyer type relational complete semantics are constructed for intuitionistic
contractionless logic with reductio. Different negation completions of positive intuitionistic …
contractionless logic with reductio. Different negation completions of positive intuitionistic …
On the undecidability of some sub-classical first-order logics
A general criterion for the undecidabily of sub-classical firstorder logics and important
fragments thereof is established. It is applied, among others, to Urquart's (original version of) …
fragments thereof is established. It is applied, among others, to Urquart's (original version of) …
For want of an 'and': A puzzle about non-conservative extension
L Humberstone - History and Philosophy of Logic, 2005 - Taylor & Francis
Section 1 recalls a point noted by AN Prior forty years ago: that a certain formula in the
language of a purely implicational intermediate logic investigated by RA Bull is unprovable …
language of a purely implicational intermediate logic investigated by RA Bull is unprovable …
Constructive Fuzzy Logics
A Lewis-Smith - 2022 - qmro.qmul.ac.uk
We generalise Kripke's semantics for Intuitionistic logic to Hajek's BL and consider the
constructive subsystems of GBLewf and Intuitionistic Affine logic or ALi. The genesis of our …
constructive subsystems of GBLewf and Intuitionistic Affine logic or ALi. The genesis of our …
[PDF][PDF] Restricting the contraction axiom in Dummett's LC: a sublogic of LC with the Converse Ackermann Property, the logic LCo
1. Introduction Page 1 Bulletin of the Section of Logic Volume 30/3 (2001), pp. 139–146
Francisco Salto José M. Méndez Gemma Robles RESTRICTING THE CONTRACTION AXIOM …
Francisco Salto José M. Méndez Gemma Robles RESTRICTING THE CONTRACTION AXIOM …
Locally explicit construction of rődl's asymptotically good packings
NN Kuzjurin - Mathematical Foundations of Computer Science 1998 …, 1998 - Springer
We present a family of asymptotically good packings of l-subsets of an n-set by k-subsets
and an algorithm that given a natural i finds the i th k-subset of this family. The bit complexity …
and an algorithm that given a natural i finds the i th k-subset of this family. The bit complexity …