A System of Relational Syllogistic Incorporating Full Boolean Reasoning

@article{Ivanov2012ASO,
  title={A System of Relational Syllogistic Incorporating Full Boolean Reasoning},
  author={Nikolay Ivanov and Dimiter Vakarelov},
  journal={Journal of Logic, Language and Information},
  year={2012},
  volume={21},
  pages={433-459}
}
  • Nikolay Ivanov, Dimiter Vakarelov
  • Published 2012
  • Mathematics, Computer Science
  • Journal of Logic, Language and Information
  • AbstractWe present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: $$\begin{array}{ll}\mathbf{Some}\, a \,{\rm are} \,R-{\rm related}\, {\rm to}\, \mathbf{some} \,b;\\ \mathbf{Some}\, a \,{\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{some}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all} \,b.\end{array}$$Such… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-4 OF 4 CITATIONS

    Inference in a Boolean Fragment

    VIEW 9 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Semantic Complexity in Natural Language

    VIEW 1 EXCERPT
    CITES METHODS

    A System of Relational Syllogistic Incorporating Full Boolean Reasoning

    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 31 REFERENCES

    Modal Logics for Region-based Theories of Space

    VIEW 10 EXCERPTS

    Syllogistic Logics with Verbs

    VIEW 9 EXCERPTS
    HIGHLY INFLUENTIAL

    Logics for the Relational Syllogistic

    VIEW 11 EXCERPTS
    HIGHLY INFLUENTIAL

    On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics

    VIEW 8 EXCERPTS
    HIGHLY INFLUENTIAL

    Dynamic logics of the region-based theory of discrete spaces

    VIEW 4 EXCERPTS

    More Fragments of Language

    VIEW 7 EXCERPTS
    HIGHLY INFLUENTIAL

    Complexity of the Two-Variable Fragment with Counting Quantifiers

    • Ian Pratt-Hartmann
    • Computer Science, Mathematics
    • Journal of Logic, Language and Information
    • 2005
    VIEW 7 EXCERPTS
    HIGHLY INFLUENTIAL

    Fragments of Language

    • Ian Pratt-Hartmann
    • Mathematics, Computer Science
    • Journal of Logic, Language and Information
    • 2004
    VIEW 7 EXCERPTS
    HIGHLY INFLUENTIAL

    The Complexity of Reasoning with Boolean Modal Logics

    VIEW 16 EXCERPTS
    HIGHLY INFLUENTIAL

    A Note on Boolean Modal Logic

    VIEW 16 EXCERPTS
    HIGHLY INFLUENTIAL