MetaPost Definitions
Taco Hoekwater (2020)
Zpravodaj Československého sdružení uživatelů TeXu
Similarity:
The paper presents all syntactic rules for definitions in MetaPost. It contains many good and bad examples of definitions.
Taco Hoekwater (2020)
Zpravodaj Československého sdružení uživatelů TeXu
Similarity:
The paper presents all syntactic rules for definitions in MetaPost. It contains many good and bad examples of definitions.
Kazuomi Kuniyoshi (2010)
Zpravodaj Československého sdružení uživatelů TeXu
Similarity:
This is a two-page report informing about the reasons and the existence of the genzi package which sets Japanese formatting rules for XeTeX. The package, samples and more comments can be viewed and downloaded from the author's website, see http://kuniyoshi.fastmail.fm/xetex/.
David Makinson (2020)
Bulletin of the Section of Logic
Similarity:
We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles of these features, which we call 'perfumes', in mathematical practice rather than on the space of all formal possibilities, deployment in proof-theory, or conventions for display in systems of natural deduction.
Jiří Ivánek (2017)
Kybernetika
Similarity:
The core of the expert knowledge is typically represented by a set of rules (implications) assigned with weights specifying their (un)certainties. In the paper, a method for hierarchical selection and correction of expert's weighted rules is described particularly in the case when Łukasiewicz's fuzzy logic with evaluated syntax for dealing with weights is used.
Alejandro Sobrino (1999)
Mathware and Soft Computing
Similarity:
The notion of degree of truth used in fuzzy logic can be interpreted in terms of partial truth or in terms of utility. By investigating how these interpretations fit in with Tarski's definition of truth, this paper explores some of their implications and their consequences for the foundations and credibility of fuzzy logic.
Newton C. A. da Costa, Diego Marconi (1986)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
Similarity:
In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.
Andrzej Indrzejczak (2018)
Bulletin of the Section of Logic
Similarity:
In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some...
Vladimír Zavázal, Zdeněk Štěrbáček (1992)
Kybernetika
Similarity:
A. Dvorák, V. Novák (2007)
Mathware and Soft Computing
Similarity:
Peter Vojtáš, Tomáš Horváth, Stanislav Krajči, Rastislav Lencses (2004)
Kybernetika
Similarity:
Motivation for this paper are classification problems in which data can not be clearly divided into positive and negative examples, especially data in which there is a monotone hierarchy (degree, preference) of more or less positive (negative) examples. We present a new formulation of a fuzzy inductive logic programming task in the framework of fuzzy logic in narrow sense. Our construction is based on a syntactical equivalence of fuzzy logic programs FLP and a restricted class of generalised...