Publicación seriada
Chapter 3D digital tools for the archaeological massive artifacts documentation
ISSN: 9788835141938 · Editor / fuente: FrancoAngeli
174
contenidos disponibles
Buscar recursos académicos
Encontrá libros, artículos, revistas, tesis y otros recursos académicos. Buscá, elegí el resultado correcto y accedé al contenido.
Búsqueda avanzada
Qué reúne NODOVOX Discovery:
catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
Publicación seriada
A (R)evolução (Bio)tecnológica e a (Nova) Condição do Ser Global: Vias e reflexões
ISSN: 24227188 · Editor / fuente: Universidad Austral
166
contenidos disponibles
Publicación seriada
A A Review of Social Media Use and Cyber-Psychological Behavior of Young People During the Covid-19 PandemicReview of Social Media Use and Cyber-Psychological Behavior of Young People During the Covid-19 Pandemic
ISSN: 2457483X · Editor / fuente: Editura ASE
118
contenidos disponibles
A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic
Artículo
Material complementario disponible
Artículo
DOAJ
This paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for at...
LCC LCC:LogicIdioma eng
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementarioClassical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics
Artículo
Acceso abierto
Artículo
DOAJ
Non-monotonic base-extension semantics (nB-eS), a kind of non-monotonic proof-theoretic semantics (nPTS), is known to validate classical logic when its meta-logic is classical. Schroeder-Heister has remarked that classic...
LCC LCC:LogicIdioma eng
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessAn Elementary Proof of the Characterization Theorem for Conjunctive Multiple-Conclusion Consequence Relations
Artículo
Acceso abierto
Artículo
DOAJ
We give a characterization theorem for multiple-conclusion consequence relations with the conjunctive reading of conclusions. As in the case of disjunctive multiple-conclusion consequence relations, we define consequence...
LCC LCC:LogicIdioma eng
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessBridging Classical and Modern Approaches to Thales' Theorem
Artículo
Acceso abierto
Artículo
DOAJ
In this paper, we reconstruct Euclid’s theory of similar triangles, as developed in Book VI of the Elements, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmi...
LCC LCC:LogicIdioma eng
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessThe Amalgamation Property in the Variety of Regular Double Stone Algebras: A Constructive View
Artículo
Acceso abierto
Artículo
DOAJ
In this paper we give a constructive proof that the variety of Boolean algebras has the strong amalgamation property by describing constructively the strong amalgams in the variety. Then, capitalizing on this constructio...
LCC LCC:LogicIdioma eng
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access