Buscar
Mostrando ítems 41-50 de 56
Many-valued points and equality
(Kluwer Academic PublDordrechtHolanda, 2000)
The logic Ł•
(Wiley VCH Verlag, 2014)
Kazimierz Ajdukiewicz, Pragmatic Logic, D. Reidel Publishing Company, Dordrecht-Holland, Boston-U.S.A., Traducción del polaco por Olgierd Wojtasiewicz, 1974, 460 pp.
(Pontificia Universidad Católica Argentina. Facultad de Filosofía y Letras, 2022)
Amalgama de filtros primos de ceros de funciones de Mcnaughton
(Pereira : Universidad Tecnológica de PereiraFacultad de Ciencias BásicasLicenciatura en Matemáticas y Física, 2018)
Truth without standard models: some conceptual problems reloaded
(Taylor & Francis, 2018-01)
A theory of truth is usually demanded to be consistent, but w -consistency is less frequently requested. Recently, Yatabe has argued in favour of w-inconsistent first-order theories of truth, minimising their odd consequences. ...
Theorem Proving Modulo Based on Boolean Equational Procedures
(Springer, 2008)
Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean ...
Termos singulares, transcategoriais e Summa Genera na lógica de Aristóteles
(UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência, 2013)