From Schütte’s Formal Systems to Modern Automated Deduction

2020 ◽  
pp. 217-251
Author(s):  
Wolfgang Bibel ◽  
Jens Otten
Keyword(s):  
Automated Deduction ◽  
Formal Systems

Modality and folk psychology

2019 ◽  
Vol 28 (1) ◽  
pp. 19-27
Author(s):  
Ja. O. Petik
Keyword(s):  
Modal Logic ◽  
Brain Activity ◽  
Formal System ◽  
Philosophy Of Logic ◽  
Psychological States ◽  
Formal Systems ◽  
Modern Psychology ◽  
Philosophical Interpretation ◽  
Important Direction

The connection of the modern psychology and formal systems remains an important direction of research. This paper is centered on philosophical problems surrounding relations between mental and logic. Main attention is given to philosophy of logic but certain ideas are introduced that can be incorporated into the practical philosophical logic. The definition and properties of basic modal logic and descending ones which are used in study of mental activity are in view. The defining role of philosophical interpretation of modality for the particular formal system used for research in the field of psychological states of agents is postulated. Different semantics of modal logic are studied. The hypothesis about the connection of research in cognitive psychology (semantics of brain activity) and formal systems connected to research of psychological states is stated.

Automated Deduction in Gödel Logic

2018 ◽  
Vol 19 (3) ◽  
pp. 1-28
Author(s):  
Dušan Guller
Keyword(s):  
Automated Deduction ◽  
Gödel Logic

scholarly journals Elementary Formal Systems, Intrinsic Complexity, and Procrastination

1997 ◽  
Vol 132 (1) ◽  
pp. 65-84 ◽  
Author(s):  
Sanjay Jain ◽  
Arun Sharma
Keyword(s):  
Formal Systems ◽  
Intrinsic Complexity

scholarly journals Automated deduction of cross-organizational collaborative business processes

2018 ◽  
Vol 453 ◽  
pp. 30-49 ◽  
Author(s):  
Aurelie Montarnal ◽  
Wenxin Mu ◽  
Frederick Benaben ◽  
Jacques Lamothe ◽  
Matthieu Lauras ◽  
...  
Keyword(s):  
Business Processes ◽  
Automated Deduction
Sign in / Sign up

Export Citation Format

Share Document