×

Found 85 Documents (Results 1–85)

100
MathJax

A tableau method for checking rule admissibility in S4. (English) Zbl 1345.03033

Bolander, Thomas (ed.) et al., Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 262, 17-32 (2010).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI

A criterion for admissibility of inference rules in some class of S4-logics without the branching property. (Russian, English) Zbl 1034.03017

Sib. Mat. Zh. 44, No. 4, 726-736 (2003); translation in Sib. Math. J. 44, No. 4, 568-576 (2003).
MSC:  03B45 03B25
PDF BibTeX XML Cite
Full Text: EuDML EMIS

An inheritance criterion for the admissible inference rules of K4. (Russian, English) Zbl 1009.03014

Sib. Mat. Zh. 43, No. 6, 1350-1361 (2002); translation in Sib. Math. J. 43, No. 6, 1094-1102 (2002).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: EuDML

Preservation of admissibility of inference rules in the logics similar to S4. 2. (Russian, English) Zbl 1010.03011

Sib. Mat. Zh. 43, No. 2, 446-453 (2002); translation in Sib. Math. J. 43, No. 2, 357-362 (2002).
MSC:  03B45 03B25
PDF BibTeX XML Cite
Full Text: EuDML

Quantifier handling issues in computer-oriented intuitionistic calculi. (English) Zbl 0990.03025

Kłopotek, Mieczysław A. (ed.) et al., Intelligent information systems 2001. Proceedings of the 10th international symposium, IIS ’2001, Zakopane, Poland, June 18-22, 2001. Heidelberg: Physica-Verlag. Advances in Soft Computing. 281-294 (2001).
MSC:  03B70 03B20
PDF BibTeX XML Cite

Independent bases for rules admissible in pretable logics. (English. Russian original) Zbl 0953.03032

Algebra Logika 39, No. 2, 206-226 (2000); translation in Algebra Logic 39, No. 2, 119-130 (2000).
MSC:  03B60 03B45 03B55
PDF BibTeX XML Cite
Full Text: EuDML

Admissible graph rewriting and narrowing. (English) Zbl 0949.68081

Jaffar, Joxan (ed.), Logic programming. Proceedings of the joint international conference and symposium (JICSLP ’98), Manchester, GB, June 16-19, 1998. 4th joint event for the international conference on Logic programming (ICLP ’98) and the international logic programming symposium (ILPS ’98), and it is the 15th conference in each of the two series of premier international conference on Logic programming. Cambridge, MA: MIT Press. MIT Press Series in Logic Programming. 325-342 (1998).
MSC:  68Q42 68R10
PDF BibTeX XML Cite

Linear discriminant functions under spherical symmetry. (English) Zbl 0789.62044

DIANA III. Proceedings of the conference on discriminant analysis, cluster analysis, factor analysis, and related topics of multivariate statistics and data analysis, held in Bechyně, Czechoslovakia, June 4-7, 1990. Prague: Czechoslovak Academy of Sciences, Mathematical Institute, 20-33 (1990).
MSC:  62H30
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

Software