Zachary Gleit and Warren Goldfarb. Characters and fixed points in provability logic. Notre Dame journal of formal logic., pp. 26–36.

1993 ◽  
Vol 58 (2) ◽  
pp. 715-715
Author(s):  
Franco Montagna
Keyword(s):  
Fixed Points ◽  
Formal Logic ◽  
Provability Logic ◽  
Warren Goldfarb

scholarly journals Characters and fixed-points in provability logic.

1989 ◽  
Vol 31 (1) ◽  
pp. 26-36 ◽  
Author(s):  
Zachary Gleit ◽  
Warren Goldfarb
Keyword(s):  
Fixed Points ◽  
Provability Logic

ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)

2019 ◽  
pp. 40-47
Author(s):  
E. A. Mironchik
Keyword(s):  
Geometric Model ◽  
Main Idea ◽  
Formal Logic ◽  
High Complexity ◽  
Geometric Models ◽  
Complexity Problem ◽  
Logical Expression ◽  
State Examination

The article discusses the method of solving the task 18 on the Unified State Examination in Informatics (Russian EGE). The main idea of the method is to write the conditions of the problem utilizing the language of formal logic, using elementary predicates. According to the laws of logic the resulting complex logical expression would be transformed into an expression, according to which a geometric model is supposed to be constructed which allows to obtain an answer. The described algorithm does allow high complexity problem to be converted into a simple one.

¿Razonamos en función de nuestro conocimiento general? Un estudio de las interacciones entre el procesamiento de la información y la inferencia lógica

2015 ◽  
pp. 33
Author(s):  
Miguel López Astorga
Keyword(s):  
Information Processing ◽  
Teaching And Learning ◽  
Learning Processes ◽  
Formal Logic ◽  
Conditional Reasoning ◽  
General Knowledge

RESUMENEn este trabajo, analizamos un experimento sobre el razonamiento condicional de Staller, Sloman y Ben-Zeev (2000). En dicho experimento, los sujetos parecen manifestar un comportamiento contrario a las prescripciones de la lógica formal. Nosotros lo revisamosy descubrimos todas las variables que es preciso atender en los procesos de enseñanza y aprendizaje, variables que no siempre son consideradas por los docentes.Palabras clave: condicional, conocimiento general, inferencia, procesamiento de la información, representación mental.DO WE REASON ACCORDING TO OUR GENERALKNOWLEDGE? A STUDY ABOUT INTERACTIONSBETWEEN INFORMATION PROCESSING AND LOGICALINFERENCEABSTRACTIn this paper, I analyze an experiment about conditional reasoning presented by Staller,Sloman and Ben-Zeev (2000). In that experiment, the subjects’ behavior seems contradictory to prescriptions of formal logic. I check it and I discover all the variables that we need to deal with them in teaching and learning processes, despite that such variables are notalways checked by the teachers.Keywords: conditional, general knowledge, inference, information processing, mentalrepresentation.

On $\alpha$-nonexpansive mapping and fixed-points in Banach spaces

2018 ◽  
Vol 2018 (-) ◽  
Author(s):  
Prondanai Kaskasem ◽  
Chakkrid Klin-eam ◽  
Suthep Suantai
Keyword(s):  
Nonexpansive Mapping ◽  
Fixed Points ◽  
Banach Spaces

Fixed Points of Sequences of Mappings

2018 ◽  
Vol 2018 (-) ◽  
Author(s):  
C. Ganesa Moorthy ◽  
S. Iruthaya Raj
Keyword(s):  
Fixed Points
Sign in / Sign up

Export Citation Format

Share Document