Is HOL (as a metalogic) all we need for flexible normative reasoning?
Benzmüller, Christoph (2024): Is HOL (as a metalogic) all we need for flexible normative reasoning?, in: Bamberg: Otto-Friedrich-Universität, S. 22.
Faculty/Chair:
Author:
Publisher Information:
Year of publication:
2024
Pages:
Source/Other editions:
Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops, 13 (2023), 4, S. 22. - ISSN: 2192-5283
Year of first publication:
2023
Language:
English
Licence:
URN:
GND Keywords:
HOL
 ; 
Beweisführung
Keywords:
HOL
DDC Classification:
RVK Classification:
ST 304    
Type:
Conferenceobject
URI:
Activation date:
January 29, 2024

Full text/File(s)

fisba93108.pdf

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/93108