Radical parallelism on projective lines and non-linear models of affine spaces.
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
In this article, we formalize some basic facts of Z-module. In the first section, we discuss the rank of submodule of Z-module and its properties. Especially, we formally prove that the rank of any Z-module is equal to or more than that of its submodules, and vice versa, and that there exists a submodule with any given rank that satisfies the above condition. In the next section, we mention basic facts of linear transformations between two Z-modules. In this section, we define homomorphism between...
Reasoning in Basic Description Logics and Description Logics with Modal Operators
Reduced Products Of Saturated Intuitionistic Theories
Reduced products of saturated intuitionistic theories.
Reducibility method in simply typed lambda calculus.
Refined Morley numbers
Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper
Relational specifications
Relative expressiveness of the edge/adjacency language for graph theory
Relative sets and rough sets
In this paper, by defining a pair of classical sets as a relative set, an extension of the classical set algebra which is a counterpart of Belnap's four-valued logic is achieved. Every relative set partitions all objects into four distinct regions corresponding to four truth-values of Belnap's logic. Like truth-values of Belnap's logic, relative sets have two orderings; one is an order of inclusion and the other is an order of knowledge or information. By defining a rough set as a pair of definable...
Relevant Categories and Partial Functions
Remark on intuitionistic fuzzy logic and intuitionistic logic.
It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.
Remarks In Da Costa's Paraconsistent Set Theories.
Remarks on intuitionistic modal logics.
Remarks on the definitions of main concepts of logic of action
The article presents the definitions of action and of its omission, formulated in some logical theories of action. The concern of the analysis is to point at manifold possibilities of precising the intuitive sense of discussed concepts depending on the theory. The utility of a particular definition may be evaluated when the domain of applicability of the theory is taken into account ; application often becomes justification for the choice of a given definition.
Remarks on the elementary theories of formal and convergent power series
Representación grafica del teorema de Church y Rosser
Representation of logic formulas by normal forms
In this paper, we deal with the disjunctive and conjunctive normal forms in the frame of predicate BL-logic and prove theirs conditional equivalence to appropriate formulas. Our aim is to show approximation ability of special normal forms defined by means of reflexive binary predicate.
Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.