SESSION QUANTIFIERS

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"