## Found 86 Documents (Results 1–86)

Full Text:

### Description of modal logics which enjoy co-cover property. (English)Zbl 07593949

MSC:  03F25 03B35
Full Text:

### Admissible inference rules and semantic property of modal logics. (Russian. English summary)Zbl 07444942

MSC:  03F25 03B35
Full Text:

### Free (rational) derivation. (English)Zbl 1490.16068

MSC:  16S85 16K40 16S10
Full Text:

### What finite-additivity can add to decision theory. (English)Zbl 1457.62036

MSC:  62A01 62C07 62C20
Full Text:

### Varieties of positive modal algebras and structural completeness. (English)Zbl 07124573

MSC:  03G27 03B45 54F05
Full Text:

### Classification of Klein four symmetric pairs of holomorphic type for $$\text{E}_{7(-25)}$$. (English)Zbl 1470.22003

MSC:  22E46 17B10
Full Text:

### Unification in superintuitionistic predicate logics and its applications. (English)Zbl 07063881

MSC:  03B55 03B35 03G25
Full Text:

### Hereditarily structurally complete superintuitionistic deductive systems. (English)Zbl 1439.03067

MSC:  03B55 03B20
Full Text:

### Finitary extensions of the nilpotent minimum logic and (almost) structural completeness. (English)Zbl 1437.03101

MSC:  03B52 08C15
Full Text:

### Strong decidability and strong recognizability. (English. Russian original)Zbl 1420.03046

Algebra Logic 56, No. 5, 370-385 (2017); translation from Algebra Logika 56, No. 5, 559-581 (2017).
MSC:  03B53 03B25
Full Text:

### Admissibility in positive logics. (English)Zbl 1420.03049

MSC:  03B55 03B60 03C05
Full Text:

### Estimating the parameters of a selected bivariate normal population. (English)Zbl 1463.62164

MSC:  62H12 62H05 62C20
Full Text:

### Multiple conclusion rules in logics with the disjunction property. (English)Zbl 1476.03035

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 76-89 (2016).
MSC:  03B55
Full Text:

Full Text:

Full Text:

### Structural completeness in propositional logics of dependence. (English)Zbl 1358.03037

MSC:  03B60 03B55
Full Text:

### Consequence relations and admissible rules. (English)Zbl 1392.03021

MSC:  03B22 03B20 03F03
Full Text:

MSC:  03B47
Full Text:

MSC:  03B47
Full Text:

### Almost structurally complete infinitary consequence operations extending $$\mathbf{S4.3}$$. (English)Zbl 1405.03050

MSC:  03B45 03B35
Full Text:

### A meta-logic of inference rules: syntax. (English)Zbl 1375.03015

MSC:  03B22 03B60
Full Text:

### Blending margins: the modal logic K has nullary unification type. (English)Zbl 1328.03019

MSC:  03B45 68T27
Full Text:

### Rules with parameters in modal logic. I. (English)Zbl 1408.03015

MSC:  03B45 03B55 08B20 68T15
Full Text:

### Selecting the best of two gamma populations having unequal shape parameters. (English)Zbl 1486.62059

MSC:  62F07 62F15 62C20
Full Text:

MSC:  03B45
Full Text:

MSC:  03B47

### The complexity of admissible rules of Łukasiewicz logic. (English)Zbl 1279.03045

MSC:  03B50 03B25 03F20
Full Text:

Full Text:

### A note on admissible rules and the disjunction property in intermediate logics. (English)Zbl 1248.03047

MSC:  03B55 06D20 08C15
Full Text:

### On a special optimal control under a perturbation of the production function. (Russian. English summary)Zbl 1249.91098

MSC:  91B64 90C26

### Arithmetical completeness of the intuitionistic logic of proofs. (English)Zbl 1252.03139

MSC:  03F45 03F50
Full Text:

### 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
Full Text:

MSC:  03B50
Full Text:

### Metalogic of intuitionistic propositional calculus. (English)Zbl 1215.03041

MSC:  03B55 03B45 06D20
Full Text:

Full Text:

### An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz. (Russian, English)Zbl 1224.03003

Sib. Mat. Zh. 50, No. 4, 872-882 (2009); translation in Sib. Math. J. 50, No. 4, 692-699 (2009).
MSC:  03B45
Full Text:

### Notes on strain gradient plasticity: finite strain covariant modelling and global existence in the infinitesimal rate-independent case. (English)Zbl 1160.74009

MSC:  74C05 74A15 74H20 74H25 35Q72
Full Text:

### An explicit basis for admissible rules of modal logics of finite width. (Russian. English summary)Zbl 07324581

MSC:  03-XX 68-XX
Full Text:

Full Text:

MSC:  03B47
Full Text:

### Independent bases of admissible rules. (English)Zbl 1146.03008

MSC:  03B45 03B55
Full Text:

### An explicit basis for the admissible inference rules in the Gödel-Löb logic GL. (Russian, English)Zbl 1164.03302

Sib. Mat. Zh. 48, No. 2, 423-430 (2007); translation in Sib. Math. J. 48, No. 2, 339-345 (2007).
MSC:  03B45
Full Text:

### An admissibility criterion for inference rules with metavariables in the modal logic S4$$.\alpha_N$$. (Russian, English)Zbl 1164.03303

Sib. Mat. Zh. 48, No. 2, 396-407 (2007); translation in Sib. Math. J. 48, No. 2, 317-326 (2007).
MSC:  03B45
Full Text:

### Referential logic of proofs. (English)Zbl 1094.03047

MSC:  03F45 03F30 03B35
Full Text:

### Compromise solutions based on bankruptcy. (English)Zbl 1152.91336

MSC:  91A12 91B64
Full Text:

### On estimating the scale parameter of the selected gamma population under the scale invariant squared error loss function. (English)Zbl 1073.62006

MSC:  62C15 62F10
Full Text:

### DAG sequent proofs with a substitution rule. (English)Zbl 1279.03079

Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. London: College Publications (ISBN 1-904987-11-7/pbk; 1-904987-25-7/hbk). Tributes 1, 671-686 (2005).
MSC:  03F07 03B05

MSC:  03B44

MSC:  03B55

### 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
Full Text:

### On estimating the mean of the selected normal population under the LINEX loss function. (English)Zbl 1029.62009

MSC:  62C15 62F10
Full Text:

### 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
Full Text:

### 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
Full Text:

Full Text:

### Residual finiteness for admissible inference rules. (Russian, English)Zbl 0989.03015

Algebra Logika 40, No. 5, 593-618 (2001); translation in Algebra Logic 40, No. 5, 334-347 (2001).
MSC:  03B45 03B60
Full Text:

### 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

### Inference rules with metavariables and logical equations in the pretabular modal logic PM1. (English. Russian original)Zbl 0966.03019

Sib. Math. J. 41, No. 1, 74-80 (2000); translation from Sib. Mat. Zh. 41, No. 1, 88-97 (2000).
MSC:  03B45
Full Text:

### 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
Full Text:

### A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. (English)Zbl 0955.03037

MSC:  03B55 03B20 03F07
Full Text:

MSC:  03B45

MSC:  03B45
Full Text:

### Independent bases for rules admissible in pretabular logics. (English)Zbl 0956.03024

MSC:  03B45 03B55 03C15
Full Text:

MSC:  62F15

### 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

MSC:  91B14
Full Text:

MSC:  03B20
Full Text:

MSC:  92B20
Full Text:

### The admissibility of the linear interpolation estimator of the population total. (English)Zbl 0761.62005

MSC:  62C15 62D05 62C10
Full Text:

### Decidable modal logic with undecidable admissibility problem. (English. Russian original)Zbl 0782.03005

Algebra Logic 31, No. 1, 53-61 (1992); translation from Algebra Logika 31, No. 1, 83-93 (1992).
MSC:  03B45 03B25
Full Text:

### Solvability of logical equations in the modal system Grz and in intuitionistic logic. (Russian)Zbl 0729.03014

Reviewer: V.V.Rybakov
MSC:  03B45 03B20
Full Text:

Full Text:

### Solvability of logical equations in the modal system Grz and intuitionistic logic. (English. Russian original)Zbl 0742.03005

Sib. Math. J. 32, No. 2, 297-308 (1991); translation from Sib. Mat. Zh. 32, No. 2(186), 140-153 (1991).
MSC:  03B45 03B20
Full Text:

### 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

### A probabilistic analysis of loop programs. (English)Zbl 0677.68010

Reviewer: N.Stanoulov
MSC:  68Q60 68Q25 03D60
Full Text:

### Threshold rules in two-class discrimination problems. (English)Zbl 0644.62067

MSC:  62H30 62C15 62C99

### Admissible minimax model selection rule. (English)Zbl 0631.62007

MSC:  62C20 62C15
Full Text:

### Multiple classification rules for signs of parameters. (English)Zbl 0606.62033

Reviewer: J.Bartoszewicz
MSC:  62F99 62C25
Full Text:

### Some limitation on Stein’s phenomenon. (English)Zbl 0603.62002

Reviewer: V.Olman
MSC:  62C15
Full Text:

### Skew power series rings and derivations. (English)Zbl 0542.16035

Reviewer: P.M.Cohn
MSC:  16W20 16W60
Full Text:

### Rungs and trees. (English)Zbl 0567.03026

MSC:  03F15 03D60 03G30
Full Text:

### A survey of $$\Pi_2^1$$-logic. (English)Zbl 0496.03038

Logic, methodology and philosophy of science VI, Proc. 6th int. Congr., Hannover 1979, Stud. Logic Found. Math. 104, 89-107 (1982).

all top 5

all top 5

all top 3