1 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
2 |
Towards a Sustainable Multidimensional Approach to English Proficiency Proof in the Post-Pandemic Era: Learning from the Legacy of COVID-19
|
|
|
|
In: Sustainability; Volume 14; Issue 9; Pages: 5568 (2022)
|
|
BASE
|
|
Show details
|
|
3 |
Argumentation of Prospective Mathematics Teachers in Fraction Tasks Mediated by an Online Assessment System With Automatic Feedback
|
|
|
|
In: Eurasia Journal of Mathematics, Science and Technology Education ; https://hal.archives-ouvertes.fr/hal-03538861 ; Eurasia Journal of Mathematics, Science and Technology Education, 2021, 17 (12), pp.em2055. ⟨10.29333/ejmste/11425⟩ (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
5 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
7 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
9 |
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
10 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
11 |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03588308 ; Informatique et langage [cs.CL]. Université Montpellier, 2021. Français. ⟨NNT : 2021MONTS064⟩ (2021)
|
|
BASE
|
|
Show details
|
|
12 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
13 |
Раскрытие доказательств как элемент судебного доказывания ... : Disclosure of Evidence as an Element of Court Proving ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
К вопросу о правовой природе электронных доказательств в арбитражном процессе ... : On the Legal Nature of Electronic Evidence in the Arbitration Procedure ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Preservice Secondary Mathematics Teachers’ Conceptions of Counterexample
|
|
|
|
In: Georgia Educational Research Association Conference (2021)
|
|
BASE
|
|
Show details
|
|
16 |
ELECTRONIC MEANS OF PROOF IN CIVIL PROCESS ; ЭЛЕКТРОННЫЕ СРЕДСТВА ДОКАЗЫВАНИЯ В ГРАЖДАНСКОМ ПРОЦЕССЕ ; ЕЛЕКТРОННІ ЗАСОБИ ДОКАЗУВАННЯ В ЦИВІЛЬНОМУ ПРОЦЕСІ
|
|
|
|
In: Constitutional State; No. 42 (2021); 145-153 ; Правовое государство; № 42 (2021); 145-153 ; Правова держава; № 42 (2021); 145-153 ; 2411-2054 (2021)
|
|
BASE
|
|
Show details
|
|
17 |
Grounding rules and (hyper-)isomorphic formulas
|
|
|
|
In: ISSN: 1448-5052 ; Australasian Journal of Logic ; https://hal.archives-ouvertes.fr/hal-02515104 ; Australasian Journal of Logic, Australasian Association for Logic, 2020, 17 (1), pp.70-80 (2020)
|
|
BASE
|
|
Show details
|
|
18 |
Proof-theoretic aspects of NLλ
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
19 |
Mathematical Reasoning Writing and Proof, Version 3
|
|
|
|
In: Open Textbooks (2020)
|
|
BASE
|
|
Show details
|
|
20 |
Recovery and Reconstruction of Principles of Academic Debate as Dialectical Model: An Outline of a Procedural Model of Argumentative Rationality
|
|
|
|
In: OSSA Conference Archive (2020)
|
|
BASE
|
|
Show details
|
|
|
|