News Help Institutional access

Search academic resources

Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

Advanced search
What NODOVOX Discovery brings together: Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
forensic medicine law journals Open Access full text

Results

The search reached the operational limit; the most relevant results are shown.

Resource types: Print book E-book Article Journal Thesis Chapter
Academic search
Logic beyond completeness: The priority of expressive power
Article
Article
Logic beyond completeness: The priority of expressive power
GABRIEL-NICOLÁS CRUZ · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2026 · ISSN 2317-630X
Abstract In the practice and teaching of logic, incomplete systems are typically not regarded as proper logical systems. Their study is marginal if not absent in most courses. There seems to be a tyranny of completeness....
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Logic modules for communicating distributed agents
Text / resource
Text / resource
Logic modules for communicating distributed agents
Zunino, Alejandro et al · SEDICI UNLP · 1999
The development of isolated agents involves the manipulation of components such as actions, mental attitudes and decisions. Multi-agent systems have to deal with these components from different agents, without to forget ...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Logical foundations and implementation of an extension of temporal logic
Article
Article
Logical foundations and implementation of an extension of temporal logic
Cobo, María Laura et al · SEDICI UNLP · 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of t...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Logical properties in defeasible logic programming -a preliminary report
Text / resource
Text / resource
Logical properties in defeasible logic programming -a preliminary report
Stankevicius, Alejandro G. et al · SEDICI UNLP · 2002
Logics for nonmonotonic reasoning have often been described by the property they lack-that is, monotonicity-instead of by those they do enjoy. These theories flourished in the early `80s in response to the inconveniences...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Lógica de pruebas para certificación de computación móvil
Thesis
Thesis
Lógica de pruebas para certificación de computación móvil
Feller, Federico · SEDICI UNLP · 2009
En este trabajo se presenta un modelo para computaciones móviles que incluye la generación de certificados al estilo PCC (proof carrying code). El modelo consiste en un lenguaje de programación recortado, un sistema d...
Idioma Spanish
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Lógicas y tendencias de la expansión residencial en áreas periurbanas de ciudades medias : Estudio de caso: el partido de La Plata, 1990-2006
Text / resource
Text / resource
Lógicas y tendencias de la expansión residencial en áreas periurbanas de ciudades medias : Estudio de caso: el partido de La Plata, 1990-2006
Frediani, Julieta Constanza · SEDICI UNLP · 2008
En nuestra tesis doctoral se aborda el estudio del proceso de expansión residencial, en particular las lógicas y tendencias que se han venido desarrollando en el periurbano del Partido de La Plata desde principios de l...
Idioma Spanish
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
Article
Article
A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
RICARDO SOUSA SILVESTRE · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2021 · ISSN 2317-630X
Abstract In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can the...
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
BOOK REVIEW: CARNIELLI, W., CONIGLIO, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. (New York: Springer, 2016. ISSN: 2214-9775.)
Article
Article
BOOK REVIEW: CARNIELLI, W., CONIGLIO, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. (New York: Springer, 2016. ISSN: 2214-9775.)
Henrique Antunes et al · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · ISSN 2317-630X
ABSTRACT Review of the book 'Paraconsistent Logic: Consistency, Contradiction and Negation' (2016), by Walter Carnielli and Marcelo Coniglio
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Frege’s Puzzle on the Santa Monica Beach De Jure Co-reference and the Logical Appraisal of Rational Agents
Article
Article
Frege’s Puzzle on the Santa Monica Beach De Jure Co-reference and the Logical Appraisal of Rational Agents
Emiliano Boccardi · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2018 · ISSN 2317-630X
ABSTRACT In this paper, I argue that a number of influential Millian responses to Frege’s puzzle, which consist in denying that Frege’s data apply to natural languages (and thinking), are not viable if logic is to pl...
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
MOORE’S PARADOX AND THE LOGIC OF BELIEF
Article
Article
MOORE’S PARADOX AND THE LOGIC OF BELIEF
ANDRÉS PÁEZ · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2020 · ISSN 2317-630X
Abstract Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledg...
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
Article
Article
Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
Paul Weingartner · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2011 · ISSN 2317-630X
The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974). The wea...
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
Article
Article
ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
JOSÉ RENATO SALATIEL · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2023 · ISSN 2317-630X
Abstract In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-clas...
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
One reason, several logics
Article
Article
One reason, several logics
Evandro Agazzi · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2011 · ISSN 2317-630X
Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a ps...
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Article
Article
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Manuela Busaniche et al · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2011 · ISSN 2317-630X
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper...
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Rotting Tomatoes - Logic for precesses
Article
Article
Rotting Tomatoes - Logic for precesses
Fredrik Stjernberg · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2024 · ISSN 2317-630X
Abstract In the literature, there are several claims about the centrality of a pro- cess ontology. It has often proved difficult, however, to understand what a process is supposed to be, and what the central difference t...
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION
Article
Article
THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION
MÉVEN CADET et al · UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência · 2015 · ISSN 2317-630X
This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and p...
LCC LCC:Logic; LCC:Philosophy (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
A Comparative Analysis of Sugeno and Tsukamoto Fuzzy Logic for Temperature Stability in SCAMIS
Article
Article
A Comparative Analysis of Sugeno and Tsukamoto Fuzzy Logic for Temperature Stability in SCAMIS
Rizky Nugraha Hidayat et al · Department of Electrical Engineering, Faculty of Engineering, Universitas Khairun · 2025 · ISSN 2354-8924
The digital poultry sector faces challenges in maintaining stable incubation temperatures. Comparative evaluation between Sugeno and Tsukamoto methods has not been conducted in real-world IoT systems. This research is es...
LCC LCC:Electrical engineering. Electronics. Nuclear engineeringIdioma English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic
Article
Article
A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic
Andreas Fjellstad · Lodz University Press · 2026 · ISSN 0138-0680
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 English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
A logic-based knowledge-driven bidirectional multi-attention GRU framework for fear level classification in humans
Article
Article
A logic-based knowledge-driven bidirectional multi-attention GRU framework for fear level classification in humans
Adlene Anusha Joshva et al · Nature Portfolio · 2026 · ISSN 2045-2322
Abstract The importance of fear level detection in affective computing using physiological signals has not been extensively explored. Accurately detecting fear responses facilitates real-time emotional monitoring and imp...
LCC LCC:Medicine; TENDOlNjaWVuY2U~Idioma English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
A new stator flow-oriented control method based on type-2 fuzzy logic controllers for permanent magnet synchronous motors
Article
Article
A new stator flow-oriented control method based on type-2 fuzzy logic controllers for permanent magnet synchronous motors
M. Tabbakh et al · National Technical University "Kharkiv Polytechnic Institute" · 2026 · ISSN 2074-272X
Introduction. Stator flow-oriented control is currently the most widely used system in industry or in previous research for improving the quality of mechanical power generated by permanent magnet synchronous motors (PMSM...
LCC LCC:Electrical engineering. Electronics. Nuclear engineeringIdioma English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
All-optical controlled-NOT logic gate achieving directional asymmetric transmission based on metasurface doublet
Article
Article
All-optical controlled-NOT logic gate achieving directional asymmetric transmission based on metasurface doublet
Yijia Huang et al · Editorial Office of Opto-Electronic Journals Group, Institute of Optics and Electronics, CAS, China · 2023 · ISSN 2096-4579
Optical logic gates play important roles in all-optical logic circuits, which lie at the heart of the next-generation optical computing technology. However, the intrinsic contradiction between compactness and robustness ...
LCC TENDOk9wdGljcy4gTGlnaHQ~Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Anisotropic nonlinear optical responses of Ta2NiS5 flake towards ultrafast logic gates and secure all-optical information transmission
Article
Article
Anisotropic nonlinear optical responses of Ta2NiS5 flake towards ultrafast logic gates and secure all-optical information transmission
Yan Lei et al · Wiley · 2024 · ISSN 2192-8614
Optical logic gates based on nonlinear optical property of material with ultrafast response speed and excellent computational processing power can break the performance bottleneck of electronic transistors. As one of the...
LCC TENDOlBoeXNpY3M~Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics
Article
Article
Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics
Antonio Piccolomini d’Aragona · Lodz University Press · 2026 · ISSN 0138-0680
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 English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Comparative Performance of Fuzzy Logic and PID Steering Control for Improved Swerve Autonomous Vehicles
Article
Article
Comparative Performance of Fuzzy Logic and PID Steering Control for Improved Swerve Autonomous Vehicles
Bhakti Suprapto et al · Ikatan Ahli Informatika Indonesia · 2026 · ISSN 2580-0760
This study presents a performance comparison of a fuzzy logic controller with a proportional-integral-derivative (PID) controller in an autonomous vehicle steering controller based on an improved swerve drive. The advant...
LCC TENDOlN5c3RlbXMgZW5naW5lZXJpbmc~; TENDOkluZm9ybWF0aW9uIHRlY2hub2xvZ3k~Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Serial publication

Chapter 3D digital tools for the archaeological massive artifacts documentation

ISSN: 9788835141938 · Publisher / source: FrancoAngeli

View contents
174

available contents

Serial publication

A (R)evolução (Bio)tecnológica e a (Nova) Condição do Ser Global: Vias e reflexões

ISSN: 24227188 · Publisher / source: Universidad Austral

View contents
166

available contents

Serial publication

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 · Publisher / source: Editura ASE

View contents
118

available contents

NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX