NODOVOX | Discovery

Logic beyond completeness: The priority of expressive power

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Logic modules for communicating distributed agents

Testo / risorsa

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Logical foundations and implementation of an extension of temporal logic

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Logical properties in defeasible logic programming -a preliminary report

Testo / risorsa

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Lógica de pruebas para certificación de computación móvil

Tesi

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 Español

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

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

Testo / risorsa

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 Español

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

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.)

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Frege’s Puzzle on the Santa Monica Beach De Jure Co-reference and the Logical Appraisal of Rational Agents

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

MOORE’S PARADOX AND THE LOGIC OF BELIEF

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Matrix- based logic for avoiding paradoxes and its paraconsistent alternative

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

One reason, several logics

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Remarks on an algebraic semantics for paraconsistent Nelson's logic

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Rotting Tomatoes - Logic for precesses

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

A Comparative Analysis of Sugeno and Tsukamoto Fuzzy Logic for Temperature Stability in SCAMIS

Articolo

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 Inglés

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 Record bibliografico

A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic

Articolo

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 Inglés

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 Record bibliografico

A logic-based knowledge-driven bidirectional multi-attention GRU framework for fear level classification in humans

Articolo

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 Inglés

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 Record bibliografico

A new stator flow-oriented control method based on type-2 fuzzy logic controllers for permanent magnet synchronous motors

Articolo

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 Inglés

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 Record bibliografico

All-optical controlled-NOT logic gate achieving directional asymmetric transmission based on metasurface doublet

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Anisotropic nonlinear optical responses of Ta2NiS5 flake towards ultrafast logic gates and secure all-optical information transmission

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

Comparative Performance of Fuzzy Logic and PID Steering Control for Improved Swerve Autonomous Vehicles

Articolo

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 Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

12 3 Successiva

Pubblicazione seriale

Chapter 3D digital tools for the archaeological massive artifacts documentation

ISSN: 9788835141938 · Editore / fonte: FrancoAngeli

Visualizza contenuti

174

contenuti disponibili

Pubblicazione seriale

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

ISSN: 24227188 · Editore / fonte: Universidad Austral

Visualizza contenuti

166

contenuti disponibili

Pubblicazione seriale

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 · Editore / fonte: Editura ASE

Visualizza contenuti

118

contenuti disponibili

Cerca risorse accademiche

Risultati

Chapter 3D digital tools for the archaeological massive artifacts documentation

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

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