Amanote Research

Amanote Research

    RegisterSign In

Coherence and Transitivity of Subtyping as Entailment

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/10.4.493
Full Text
Open PDF
Abstract

Available in full text

Categories
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
Date

August 1, 2000

Authors
G Longo
Publisher

Oxford University Press (OUP)


Related search

Coherence and Transitivity in Coercive Subtyping

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Transitivity and Equicontinuity

Bulletin of the American Mathematical Society
1948English

Discovering Entailment Relations Using "Textual Entailment Patterns"

2005English

Case, Valency and Transitivity

Studies in Language Companion Series
LinguisticsLanguage
2006English

Sic Transitivity

Journal of Philosophical Research
Philosophy
2000English

The Acquisition of Voice and Transitivity Alternations in Greek as Native and Second Language

Language Acquisition and Language Disorders
DevelopmentalEducational PsychologyLanguageLinguisticsHearingSpeech
2006English

Extinction of Conservation and Transitivity of Weight

Journal of Experimental Child Psychology
DevelopmentalExperimentalEducational PsychologyCognitive Psychology
1973English

Different Models and Approaches of Textual Entailment Recognition

International Journal of Computer Applications
2016English

Against Truth as Coherence

Logic and Logical Philosophy
Philosophy
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy