Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
CORE TYPE THEORY Abstractvan Dijk, Emma ; Ripley, David ; Gutierrez, JulianBulletin of the Section of Logic, 2023-01, Vol.52 (2), p.145-186 [Periódico revisado por pares]Warsaw: University of ŁódźTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic ExtensionsCornejo, Juan Manuel ; Sankappanavar, Hanamantagouda PBulletin of the Section of Logic, 2022-12, Vol.51 (4), p.555-645 [Periódico revisado por pares]Warsaw: Wydawnictwo Uniwersytetu ŁódzkiegoTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
LETTERBOXPollock, JoshuaChicago review, 2021-01, Vol.64 (1-3), p.357-360 [Periódico revisado por pares]Chicago: University of ChicagoTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
On Paracomplete Versions of Jaśkowski's Discussive LogicMruczek-Nasieniewska, Krystyna ; Petrukhin, Yaroslav ; Shangin, VasilyiBulletin of the Section of Logic, 2024-03, Vol.53 (1), p.29-61 [Periódico revisado por pares]Lodz University PressTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Current-driven magnetic domain-wall logicLuo, Zhaochu ; Hrabec, Aleš ; Dao, Trong Phuong ; Sala, Giacomo ; Finizio, Simone ; Feng, Junxiao ; Mayr, Sina ; Raabe, Jörg ; Gambardella, Pietro ; Heyderman, Laura JNature (London), 2020-03, Vol.579 (7798), p.214-218 [Periódico revisado por pares]England: Nature Publishing GroupTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Sign-inferences in Greek and Buddhist LogicSchumann, AndrewHistory and philosophy of logic, 2024-01, p.1-33 [Periódico revisado por pares]Texto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Arbitrary Public Announcement Logic with MemoryBaltag, Alexandru ; Özgün, Aybüke ; Sandoval, Ana Lucia VargasJournal of philosophical logic, 2023-02, Vol.52 (1), p.53-110 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
On the Adequacy of a Substructural Logic for Mathematics and ScienceTennant, NeilThe Philosophical quarterly, 2022-10, Vol.72 (4), p.1002-1018 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Consistent Theories in Inconsistent LogicsMangraviti, Franci ; Tedder, AndrewJournal of philosophical logic, 2023-08, Vol.52 (4), p.1133-1148 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Cardinality Reduction Theorem for Logics QHC and QH4Onoprienko, A. A.Algebra and logic, 2023, Vol.61 (6), p.491-505 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |