Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1218721, author = {Pezlar, Ivo}, address = {Olomouc}, booktitle = {The Future of Philosophy}, edition = {1. vyd}, keywords = {logic, logic as a toolbox, labelled deductive systems, Gabbay}, language = {eng}, location = {Olomouc}, isbn = {978-80-244-4316-4}, pages = {73-85}, publisher = {Univerzita Palackého v Olomouci}, title = {Logic as a Toolbox}, year = {2014} }
TY - JOUR ID - 1218721 AU - Pezlar, Ivo PY - 2014 TI - Logic as a Toolbox PB - Univerzita Palackého v Olomouci CY - Olomouc SN - 9788024443164 KW - logic, logic as a toolbox, labelled deductive systems, Gabbay N2 - Over the last few decades, a distinct turn in logic took place. More and more logicians started to be interested in capturing the way in which we actually reason in our everyday problem solving as opposed to earlier tendency towards the way in which we should reason. This new trend brought many good things, but there were also many disadvantages. Mainly, large number of logical systems started to appear and the connections between them were not always clear. In response to that new type of systems arose that were focused on making these connections clearer. We briefly introduce one of them, specifically Gabbay's Labelled deductive systems (LDS). ER -
PEZLAR, Ivo. Logic as a Toolbox. In \textit{The Future of Philosophy}. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2014, s.~73-85. ISBN~978-80-244-4316-4.
|