DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...460
Hits 1 – 20 of 9.186

1
Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming
In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022)
BASE
Show details
2
The contextual logic
In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022)
BASE
Show details
3
A gentle introduction to Girard's Transcendental Syntax for the linear logician
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
Abstract: Technically speaking, the transcendental syntax is about designing logics with a computational foundation. It suggests a new framework for proof theory where logic (proofs, formulas, truth, .) is no more primitive but computation is. All the logical entities and activities will be presented as formatting/structuring on a given model of computation which should be as general, simple and natural as possible. The selected ground for logic in the transcendental syntax is a model of computation I call "stellar resolution" which is basically a logic-free reformulation of Robinson's first-order clausal resolution with a dynamics related to tile systems. An initial goal of the transcendental syntax is to retrieve linear logic from this new framework. In particular, this model naturally encodes cut-elimination for proof-structures. By using an idea of ``interactive typing'' reminiscent of realisability theory, it is possible to design formulas/types generalising the connectives of linear logic. Thanks to interactive typing, we are able to reach a semantic-free space where correctness criteria are seen as tests (as in unit testing or model checking) certifying logical correctness, thus allowing an effective use of logical entities.
Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory; Geometry of Interaction; Linear Logic; Models of Computation; Realizability semantics; Semantics
URL: https://hal.archives-ouvertes.fr/hal-02977750v7/file/main.pdf
https://hal.archives-ouvertes.fr/hal-02977750
https://hal.archives-ouvertes.fr/hal-02977750v7/document
BASE
Hide details
4
Dialogical Logic
In: ISSN: 1095-5054 ; Stanford Encyclopedia of Philosophy ; https://hal.archives-ouvertes.fr/hal-03651225 ; 2022, https://plato.stanford.edu/archives/sum2022/entries/logic-dialogical/ (2022)
BASE
Show details
5
Game of Grounds
In: Objects, Structures, and Logics ; https://hal.archives-ouvertes.fr/hal-03602786 ; Objects, Structures, and Logics, 339, Springer International Publishing, pp.259-286, 2022, Boston Studies in the Philosophy and History of Science, ⟨10.1007/978-3-030-84706-7_10⟩ (2022)
BASE
Show details
6
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds
In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03581352 ; Studia Logica, Springer Verlag (Germany), 2022, ⟨10.1007/s11225-021-09979-6⟩ (2022)
BASE
Show details
7
Restoring Reason: Theology of Logic in Origen of Alexandria ...
Haecker, Ryan. - : Apollo - University of Cambridge Repository, 2022
BASE
Show details
8
⚘Fonseca on signs ("ID" I, 8-11) ☀ António Manuel Martins ...
BASE
Show details
9
⚘Fonseca on signs ("ID" I, 8-11) ☀ António Manuel Martins ...
BASE
Show details
10
tptp-utils 1.1 ...
Steen, Alexander. - : Zenodo, 2022
BASE
Show details
11
tptp-utils 1.1 ...
Steen, Alexander. - : Zenodo, 2022
BASE
Show details
12
Computing Entailments Online, ver. 5 ...
Dąbkowski, Maksymilian. - : Open Science Framework, 2022
BASE
Show details
13
Computing Entailments Online, ver. 6 ...
Dąbkowski, Maksymilian. - : Open Science Framework, 2022
BASE
Show details
14
Experts' Selection for Neutrosophic Delphi Method. A Case Study of Hotel Activity ...
BASE
Show details
15
Experts' Selection for Neutrosophic Delphi Method. A Case Study of Hotel Activity ...
BASE
Show details
16
Generalized Quantifiers as a Source of Error in Multilingual NLU Benchmarks ...
BASE
Show details
17
On Reinforcement Learning, Effect Handlers, and the State Monad ...
BASE
Show details
18
The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking
In: AI; Volume 3; Issue 2; Pages: 353-370 (2022)
BASE
Show details
19
Fuzzy Approach to Computational Classification of Burnout—Preliminary Findings
In: Applied Sciences; Volume 12; Issue 8; Pages: 3767 (2022)
BASE
Show details
20
Application of Modern Digital Systems and Approaches to Business Process Management
In: Sustainability; Volume 14; Issue 3; Pages: 1697 (2022)
BASE
Show details

Page: 1 2 3 4 5...460

Catalogues
1.165
73
466
0
0
16
28
Bibliographies
6.241
2
0
0
0
0
0
23
128
Linked Open Data catalogues
0
Online resources
26
0
2
0
Open access documents
2.534
6
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern