Pattern-based calculi with finitary matching

, , &
Logic Journal of the IGPL 26 (2):203-243 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzx059

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Criteria Transformation Approach to Pattern Matching based on Non-Linear Parameter Optimization.Reinhard Möller, Bernard Beitz, Thomas Lepich, Dietmar Tutsch & Christian John - 2015 - Journal of Intelligent Systems 24 (2):249-263.
Window-accumulated subsequence matching problem is linear.Luc Boasson, Patrick Cegielski, Irène Guessarian & Yuri Matiyasevich - 2001 - Annals of Pure and Applied Logic 113 (1-3):59-80.
Clausal Proofs and Discontinuity.Glyn Morrill - 1995 - Logic Journal of the IGPL 3 (2-3):403-427.
Semantics for finitary predicate calculi.Klaus Bernhardt - 1976 - Studia Logica 35 (3):227 - 241.
Parallel and serial stages in matching.Henry K. Beller - 1970 - Journal of Experimental Psychology 84 (2):213.
Pattern recognition: Differences between matching patterns to patterns and matching descriptions to patterns.Gillian Cohen - 1969 - Journal of Experimental Psychology 82 (3):427.
Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.Regimantas Pliuskevicius - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):141-169.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Visual pattern matching: An investigation of some effects of decision task, auditory codability, and spatial correspondence.R. S. Nickerson & R. W. Pew - 1973 - Journal of Experimental Psychology 98 (1):36.
Is the cerebellum essentially a precise pattern matching device?Franz Mechsner & Günther Palm - 1997 - Behavioral and Brain Sciences 20 (2):257-257.
Does Grammatical Aspect Affect Motion Event Cognition? A Cross-Linguistic Comparison of English and Swedish Speakers.Panos Athanasopoulos & Emanuel Bylund - 2013 - Cognitive Science 37 (2):286-309.
On a finitary version of mathematical analysis.N. A. Shanin - 2001 - Annals of Pure and Applied Logic 113 (1-3):261-295.
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.
A New Argument Against Rule Consequentialism.Christopher Woodard - 2008 - Ethical Theory and Moral Practice 11 (3):247-261.
Categoricity transfer in simple finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2011 - Journal of Symbolic Logic 76 (3):759 - 806.

Analytics

Added to PP
2017-12-30

Downloads
13 (#978,482)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The rewriting calculus - part I.H. Cirstea & K. Kirchner - 2001 - Logic Journal of the IGPL 9 (3):339-375.

Add more references