Admissible rule (redirect from Projective formula)
rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule...
29 KB (4,821 words) - 11:33, 23 February 2024
Andretti Global (redirect from Andretti Autosport (Formula E team))
original on 23 August 2022. Retrieved 23 August 2022. "Lawrence Stroll ve "lógica" la llegada de Andretti a la F1". SoyMotor.com (in Spanish). Archived from...
261 KB (5,535 words) - 14:45, 2 September 2024
2000). "A Set Theory with Support for Partial Functions" (PDF). Studia Logica. 66 (1, Partiality and Modality): 59–78. Smart, James R. (1988). Modern...
8 KB (1,045 words) - 21:39, 1 July 2024
Epistemic Logics of Diffusion and Prediction in Social Networks". Studia Logica. 107 (3): 489–531. doi:10.1007/s11225-018-9804-x. S2CID 13968166. Fitting...
60 KB (8,457 words) - 23:17, 4 September 2024
transform the formulas to quantifier-free conjunctive normal form." Arís, Enrique P.; González, Juan L.; Rubio, Fernando M. (2005). Lógica Computacional...
28 KB (4,066 words) - 04:41, 15 February 2024
Proof Theory of the λ Π {\displaystyle \lambda \Pi } -calculus. Studia Logica 54: 199-230, 1995. David Pym and Lincoln Wallen. Proof-search in the λ Π...
7 KB (965 words) - 21:53, 4 November 2023
2022-06-03 Gianfranco Basti (2017). Logica III: logica filosofica e filosofia formale- Parte I: la riscoperta moderna della logica formale [Logics III: philosophical...
6 KB (741 words) - 07:56, 18 July 2024
Intuitionistic logic (section Formula translation)
Medvedev logic of finite problems are not finitely axiomatizable". Studia Logica. 49 (3): 365–385. doi:10.1007/BF00370370. Sørensen, Morten H.; Urzyczyn...
51 KB (7,745 words) - 17:38, 4 August 2024
implies. […] Łukasiewicz, Jan (1939). "Der Äquivalenzenkalkül". Collectanea Logica (in German). 1: 145–169. Łukasiewicz, Jan (1930). "Untersuchungen über den...
27 KB (2,434 words) - 23:56, 22 July 2024
First Incompleteness Theorem Archived 2016-03-06 at the Wayback Machine", Logica Universalis, v. 8, pp. 499–552. doi:10.1007/s11787-014-0107-3 Charlesworth...
92 KB (12,132 words) - 22:29, 5 July 2024