Edgar L.B. Almeida and Rodrigo A. Freire
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Existence Axioms in Second-Order Arithmetic"
Ana Claudia de Jesus Golzio
Center of Logic, State University of Campinas - UNICAMP, Brazil
"A Propositional Logic for the term "few" presented in a Natural Deduction System"
Tatiana Kiselovia
Tbilisi State University, Department of Computer Sciences, Georgia
"A Generalized Time Quantifier Approach to Similarity-based
Reasoning"
|
Petra Murinová and Vilém Novák
Institute for Research and Applications of Fuzzy Modeling - IRAFM,
University of Ostrava, Czech Republic
"Structure of Generalized Square of Opposition with
Intermediate Quantifiers"
Kleidson Êglicio Carvalho da Silva Oliveira
Center of Logic, State University of Campinas - UNICAMP, Brazil
"A Logic of Improbability: Soundness and Completeness"
Angela Pereira Rodrigues
Center of Logic, State University of Campinas - UNICAMP, Brazil
"A Sytsem of Natural Deduction for the ‘Almost Always’ Propositional Logic"
Elia Zardini
Dpt of Logic, University of Barcelona, Spain
"Naive Restricted Quantification"
|