2 Hits in 3.7 sec

Knowledge, Justification, and Adequate Reasons [article]

Paul Égré and Paul Marty and Bryan Renne
2021 arXiv   pre-print
To facilitate our argument we introduce a simple propositional logic of reason-based belief, and give an axiomatic characterization of the notion of adequacy for reasons.  ...  We favor the latter position, which reflects a milder and more realistic version of infallibilism.  ...  Ong and R. de Queiroz, editors, Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 36, 2012.  ... 
arXiv:1412.1862v4 fatcat:zd5qisdlhja5jgwplafbwfw4re

Implementing a Category-Theoretic Framework for Typed Abstract Syntax [article]

Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
2021 pre-print
The main result of our work is a general construction that, when fed with a signature for a simply-typed language, returns an implementation of that language together with suitable boilerplate code, in  ...  In the present work, we describe what was necessary to generalize that work to account for simply-typed languages.  ...  , Buenos Aires, Argentina, September 3-6, 2012.  ... 
doi:10.1145/3497775.3503678 arXiv:2112.06984v1 fatcat:wvq3o2ihmffpfgxhvl2ox3ctuq