Results 21 to 30 of about 705,934 (125)
The Calculus of Names—The Legacy of Jan Łukasiewicz
AxiomsWith his research on Aristotle’s syllogistic, Jan Łukasiewicz initiates the branch of logic known as the calculus of names. This field deals with axiomatic systems that analyse various fragments of the logic of names, i.e., that branch of logic that ...
Andrzej Pietruszczak
doaj +1 more source
International Journal of Computational Intelligence Systems, 2017 Histograms are an intuitively understandable tool for graphically presenting frequency data that is available for and useful in modern data-analysis, this also makes comparing histograms an interesting field of research.
Pasi Luukka, Mikael Collan
doaj +1 more source
Geometry of Robinson consistency in Łukasiewicz logic [PDF]
, 2007 We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Łukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras-the algebras of Łukasiewicz logic: all pre-existing proofs of this ...
Mundici, Daniele +3 more
core +1 more source
Aristotle’s Syllogistic as a Deductive System
Axioms, 2020 Aristotle’s syllogistic is the first ever deductive system. After centuries, Aristotle’s ideas are still interesting for logicians who develop Aristotle’s work and draw inspiration from his results and even more from his methods.
Piotr Kulicki
doaj +1 more source
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Bulletin of the Section of Logic, 2022 The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo +1 more
doaj +1 more source
Philosophia Scientiæ, 2011 Łukasiewicz’s Aristotle’s Syllogistic was written from the standpoint of modern formal log ic as a correction of the traditional interpretations of Aristotle’s syllogistic.
Jean-Baptiste Gourinat
doaj +1 more source
A Common External Framework for Kleene and McCarthy Algebras
Mathematical Logic Quarterly, Volume 72, Issue 4, November 2026.ABSTRACT Algebras of disjoint alternatives (ADAs), introduced by Manes, are extensions of McCarthy algebras by a unary operator acting as an oracle for the halting problem, and provide a semantics for the equational theory of the if–then–else construct.
Gandolfo Vergottini +2 more
wiley +1 more source
Development of POLON—A Green Microsatellite Propulsion Module Utilizing 98% Hydrogen Peroxide
Aerospace, 2022 The following paper presents the key design and test activities associated with the development of POLON—a green microsatellite propulsion module using 98% Hydrogen Peroxide (HTP).
Jakub Gramatyka +7 more
doaj +1 more source
Noûs, Volume 60, Issue 1, Page 136-160, March 2026.Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley +1 more source
Nonlinear Models of Neural and Genetic Network Dynamics:\ud \ud Natural Transformations of Łukasiewicz Logic LM-Algebras in a Łukasiewicz-Topos as Representations of Neural Network Development and Neoplastic Transformations \ud [PDF]
, 2011 A categorical and Łukasiewicz-Topos framework for Algebraic Logic models of nonlinear dynamics in complex functional systems such as Neural Networks, Cell Genome and Interactome Networks is introduced.
Baianu, Professor I.C.
core