Sciweavers

52 search results - page 11 / 11
» Semantic Cut Elimination in the Intuitionistic Sequent Calcu...
Sort
View
JSYML
2007
85views more  JSYML 2007»
13 years 10 months ago
Substructural fuzzy logics
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
George Metcalfe, Franco Montagna
TLCA
2005
Springer
14 years 4 months ago
Naming Proofs in Classical Propositional Logic
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
François Lamarche, Lutz Straßburger