Volume 169, March 2007
Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006)
Luca Aceto:
Impossibility Results in the Equational Logic of Processes.
3-6
Ying Gao,
Jingde Cheng:
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction.
61-71
Paolo Gentilini:
Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference.
73-86
Yuichi Goto,
Jingde Cheng:
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic.
87-97
Giacomo Lenzi:
About a Positive Set Theory With Equality.
111-120
data released under the ODC-BY 1.0 license
