Open AccessA Logical Framework
Author(s) -
Göran Sundholm
Publication year - 2013
Publication title -
revista de humanidades de valparaíso
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.102
H-Index - 2
eISSN - 0719-4242
pISSN - 0719-4234
DOI - 10.22370/rhv/20131/2
Subject(s) - computer science
The paper presents a framework of distinctions for the philosophy of logic in which the interrelations between some central logical notions, such as statement, judgement (-act), judgement (made), proposition (al content), consequence, and inference are spelled out.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom