Results 1 to 10 of about 862,810 (224)

The validity degree vectors of formulae in two-valued predicate logic [PDF]

open access: goldInternational Journal of Computational Intelligence Systems, 2015
By means of infinite product of uniformly distributed probability spaces of cardinal , the concept of -validity degrees and validity degree vectors of formulae in two-valued predicate logic are introduced. It is proved that the validity degree vectors of
Xiaoyan Qin, Yang Xu, Yi Liu
doaj   +2 more sources

On decidability of a fragment of intuitionistic predicate logic

open access: diamondLietuvos Matematikos Rinkinys, 1999
There is not abstract.
Jolanta Kaušilaitė   +1 more
doaj   +5 more sources

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates [PDF]

open access: greenComputer Science Journal of Moldova, 2015
In the paper we investigate semantic properties of program-oriented algebras and logics defined for classes of quasiary predicates. Informally speaking, such predicates are partial predicates defined over partial states (partial assignments) of variables.
Mykola Nikitchenko, Stepan Shkilniak
doaj   +1 more source

The Logic of Khārijī Propositions [PDF]

open access: yesحکمت سینوی, 2023
There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
doaj   +1 more source

NeuroLogic Decoding: (Un)supervised Neural Text Generation with Predicate Logic Constraints [PDF]

open access: yesNorth American Chapter of the Association for Computational Linguistics, 2020
Conditional text generation often requires lexical constraints, i.e., which words should or shouldn’t be included in the output text. While the dominant recipe for conditional text generation has been large-scale pretrained language models that are ...
Ximing Lu   +5 more
semanticscholar   +1 more source

An Arithmetically Complete Predicate Modal Logic

open access: yesBulletin of the Section of Logic, 2021
This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, the ...
Yunge Hao, George Tourlakis
doaj   +1 more source

Coalgebraic Geometric Logic: Basic Theory [PDF]

open access: yesLogical Methods in Computer Science, 2022
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the category of ...
Nick Bezhanishvili   +2 more
doaj   +1 more source

A Graph Calculus for Predicate Logic [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2013
We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e.
Paulo A. S. Veloso, Sheila R. M. Veloso
doaj   +1 more source

Term Logic

open access: yesAxioms, 2020
The predominant form of logic before Frege, the logic of terms has been largely neglected since. Terms may be singular, empty or plural in their denotation.
Peter Simons
doaj   +1 more source

IMPLICITINĖ PREDIKATO KVANTIFIKACIJA IR PORT ROYALIO LOGIKA

open access: yesProblemos, 2004
Straipsnyje analizuojama logikos istorikų Jill Vance Buroker, Sylvaino Auroux ir Jeano-Claude’o Pariente’o pozicija, kad tradicinės logikos pradininkų – Antoine’o Arnauld ir Pierre’o Nicole’io – pažiūrose į kategorinio sakinio semantiką galima įžvelgti ...
Laisvūnas Šopauskas
doaj   +20 more sources

Home - About - Disclaimer - Privacy