A logical analysis of the truth-reaction paradox
A logic-based environment for developing natural language processing applications
We present a system providing a set of tools for developing natural language processing (NLP) applications such as natural language interfaces, communication aid systems, etc. This system is based on two principles: modularity of knowledge representation to ensure the portability of the system, and guided sentence composition to ensure transparency, i.e. to ensure that the produced sentences are well-formed at the lexical, syntactic, semantic and conceptual levels. We first describe the formalisms...
A lower bound for the complexity of Craig's interpolants in sentinential logic.
A measure theoretic approach to logical quantification
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
A modal logic of consistency
A N. Bourbaki type general theory and the properties of contracting symbols and corresponding contracted forms.
A new approach to construct uninorms via uninorms on bounded lattices
In this paper, on a bounded lattice , we give a new approach to construct uninorms via a given uninorm on the subinterval (or ) of under additional constraint conditions on and . This approach makes our methods generalize some known construction methods for uninorms in the literature. Meanwhile, some illustrative examples for the construction of uninorms on bounded lattices are provided.
A new decidable Horn fragment of predicate calculus.
A new Proof of Prešić's Theorem on Finite Equations
A new type assignment for ...-terms.
A non commutative generalization of -autonomous lattices
Pseudo -autonomous lattices are non-commutative generalizations of -autonomous lattices. It is proved that the class of pseudo -autonomous lattices is a variety of algebras which is term equivalent to the class of dualizing residuated lattices. It is shown that the kernels of congruences of pseudo -autonomous lattices can be described as their normal ideals.
A non-uniform finitary relational semantics of system T
We study iteration and recursion operators in the denotational semantics of typed λ-calculi derived from the multiset relational model of linear logic. Although these operators are defined as fixpoints of typed functionals, we prove them finitary in the sense of Ehrhard’s finiteness spaces.
A note on categories enriched in quantaloids and modal and temporal logic
A note on embedding problems
A note on negative tagging for least fixed-point formulae
A Note on Negative Tagging for Least Fixed-Point Formulae
Proof systems with sequents of the form U ⊢ Φ for proving validity of a propositional modal μ-calculus formula Φ over a set U of states in a given model usually handle fixed-point formulae through unfolding, thus allowing such formulae to reappear in a proof. Tagging is a technique originated by Winskel for annotating fixed-point formulae with information about the proof states at which these are unfolded. This information is used later in the proof to avoid unnecessary unfolding, without...
A note on nonaxiomatizability of independence relations generated by certain probabilistic structures
A note on paracomplete logic
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.